- if !Options.do_perf then start_perf ();
- let r = time ~count:!Options.repeat ~msg:"Execution time" (run auto doc) arg in
- if !Options.do_perf then stop_perf ();
- Logger.verbose Format.err_formatter "Number of results: %i@\n" (count r);
+ if !Config.do_perf then start_perf ();
+ let r = Utils.time ~count:!Config.repeat ~msg:"Execution time" (run auto doc) arg in
+ if !Config.do_perf then stop_perf ();
+ Logger.start_msg Format.err_formatter "[Debug] Number of results: ";
+ Logger.msg Format.err_formatter "%i" (count r);
+ Logger.end_msg Format.err_formatter "\n";