Project

General

Profile

Revision 54ae8ac7 src/log.ml

View differences:

src/log.ml
25 25

  
26 26
let report ~level:level p =
27 27
if !Options.verbose_level >= level then
28
  Format.eprintf "%t@?" p
28
  Format.eprintf "%t" p
29 29

  
30 30
(* Local Variables: *)
31 31
(* compile-command:"make -C .." *)

Also available in: Unified diff