diff options
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index 3788d269..c3d0be0e 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -365,8 +365,10 @@ let output libpath out_arg files = output1 libpath out_arg f defs) files -let rewrite_step defs (name,rewriter) = +let rewrite_step defs (name, rewriter) = + let t = Profile.start () in let defs = rewriter defs in + Profile.finish ("rewrite " ^ name) t; let _ = match !(opt_ddump_rewrite_ast) with | Some (f, i) -> begin |