diff options
| author | Brian Campbell | 2017-08-23 11:11:08 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-08-23 11:11:08 +0100 |
| commit | 22c2e970e9e52ff60b8262d02b4f50ad12174fd8 (patch) | |
| tree | e05bc639514a511d4d39399b8a263e817897e4fe /src/process_file.ml | |
| parent | 2a6f3b8e42a4cb4cececb79a9011346b5b25ce80 (diff) | |
| parent | c380d2d0b51be71871085ac7d085268f5baccb56 (diff) | |
Merge branch 'experiments' into mono-experiments
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) -> |