diff options
Diffstat (limited to 'compiler/Driver.ml')
| -rw-r--r-- | compiler/Driver.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Driver.ml b/compiler/Driver.ml index e7425122..476907c1 100644 --- a/compiler/Driver.ml +++ b/compiler/Driver.ml @@ -225,7 +225,7 @@ let () = I.Test.test_functions_symbolic synthesize m; (* Translate the functions *) - Translate.translate_module filename dest_dir m; + Translate.translate_crate filename dest_dir m; (* Print total elapsed time *) log#linfo |