WIP: translate.ml and extract.ml do not compile. Some assert left to do and we need to see how translate_crate can give meta to the functions it calls

1 files changed, 2 insertions, 2 deletions

diff --git a/compiler/Main.ml b/compiler/Main.ml
index bea7e4a8..f860bec8 100644
--- a/compiler/Main.ml
+++ b/compiler/Main.ml
@@ -271,10 +271,10 @@ let () =
       (* Some options for the execution *)
 
       (* Test the unit functions with the concrete interpreter *)
-      if !test_unit_functions then Test.test_unit_functions meta m;
+      if !test_unit_functions then Test.test_unit_functions m;
 
       (* Translate the functions *)
-      Aeneas.Translate.translate_crate meta filename dest_dir m;
+      Aeneas.Translate.translate_crate filename dest_dir m;
 
       (* Print total elapsed time *)
       log#linfo