- Logger.print Format.err_formatter "%s: " msg;
- if (count != 1) then Logger.print Format.err_formatter "run %i/%i, " i count;
- Logger.print Format.err_formatter "%fms (stack size: before=%s, after=%s)@\n" t oldstack (read_procmem());
+ Logger.verbose Format.err_formatter "%s: " msg;
+ if (count != 1) then Logger.verbose Format.err_formatter "run %i/%i, " i count;
+ Logger.verbose Format.err_formatter "%fms (stack size: before=%s, after=%s)@\n" t oldstack (read_procmem());