1 files changed, 1 insertions, 3 deletions
diff --git a/src/main.ml b/src/main.ml
index e4c4dbd6..c52b7bd3 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -86,6 +86,4 @@ let () =
       I.Test.test_functions_symbolic config synthesize m;
 
       (* Translate the functions *)
-      let _ = Translate.translate_module_to_pure config m in
-
-      ()
+      Translate.translate_module !filename config m