Project

General

Profile

« Previous | Next » 

Revision af49e9a4

Added by Xavier Thirioux almost 2 years ago

forgotten to uodate log.ml

View differences:

src/log.ml
13 13
if !verbose_level >= level then
14 14
  begin
15 15
    if modulename="" then
16
      Format.eprintf "%t" p
16
      Format.eprintf "%t@?" p
17 17
    else
18
      Format.eprintf "[%s] @[%t@]" modulename p
18
      Format.eprintf "[%s] @[%t@]@?" modulename p
19 19
  end
20 20

  
21 21
(* Local Variables: *)

Also available in: Unified diff