Project

General

Profile

Revision 7c8a7647

View differences:

src/log.ml
9 9
(*                                                                  *)
10 10
(********************************************************************)
11 11

  
12
let report ~level:level p =
12
let report ?plugin:(modulename="") ~level:level p =
13 13
if !Options.verbose_level >= level then
14 14
  begin
15
    Format.eprintf "%t" p;
15
    if modulename="" then
16
      Format.eprintf "%t" p
17
    else
18
      Format.eprintf "[%s] @[%t@]" modulename p
16 19
  (* Removed the flush since it was breaking most open/close boxes *)
17 20
  (* Format.pp_print_flush Format.err_formatter () *)
18 21
  end

Also available in: Unified diff