diff options
Diffstat (limited to 'driver/optcompile.ml')
| -rw-r--r-- | driver/optcompile.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/optcompile.ml b/driver/optcompile.ml index ccc6e13be..e1e54f4b6 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -132,7 +132,7 @@ let implementation ppf sourcefile = +++ print_if ppf Clflags.dump_rawlambda Printlambda.lambda +++ Simplif.simplify_lambda +++ print_if ppf Clflags.dump_lambda Printlambda.lambda - ++ Asmgen.compile_implementation prefixname; + ++ Asmgen.compile_implementation prefixname ppf; Compilenv.save_unit_info (prefixname ^ ".cmx"); remove_preprocessed inputfile |