Project

General

Profile

Revision 521e2a6b src/log.ml

View differences:

src/log.ml
13 13
if !Options.verbose_level >= level then
14 14
  begin
15 15
    Format.eprintf "%t" p;
16
    Format.pp_print_flush Format.err_formatter ()
16
  (* Removed the flush since it was breaking most open/close boxes *)
17
  (* Format.pp_print_flush Format.err_formatter () *)
17 18
  end
18 19

  
19 20
(* Local Variables: *)

Also available in: Unified diff