diff options
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index f445f900..691b9a86 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -228,8 +228,6 @@ let output libpath out_arg files = files let rewrite_step defs rewriter = - (* print_endline "=============================== REWRITE STEP"; - Pretty_print.pp_defs stdout defs; *) let defs = rewriter defs in let _ = match !(opt_ddump_rewrite_ast) with | Some (f, i) -> |