Project

General

Profile

Revision d50b0dc0 src/log.ml

View differences:

src/log.ml
11 11

  
12 12
let report ~level:level p =
13 13
if !Options.verbose_level >= level then
14
  Format.eprintf "%t" p
14
  begin
15
    Format.eprintf "%t" p;
16
    Format.pp_print_flush Format.err_formatter ()
17
  end
15 18

  
16 19
(* Local Variables: *)
17 20
(* compile-command:"make -C .." *)

Also available in: Unified diff