diff options
Diffstat (limited to 'compiler/Main.ml')
-rw-r--r-- | compiler/Main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Main.ml b/compiler/Main.ml index e4e4ce1f..bea7e4a8 100644 --- a/compiler/Main.ml +++ b/compiler/Main.ml @@ -271,7 +271,7 @@ let () = (* Some options for the execution *) (* Test the unit functions with the concrete interpreter *) - if !test_unit_functions then Test.test_unit_functions m; + if !test_unit_functions then Test.test_unit_functions meta m; (* Translate the functions *) Aeneas.Translate.translate_crate meta filename dest_dir m; |