Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 8 months ago

reformatting

View differences:

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

  
12
let report
13
    ?plugin:(modulename="")
14
    ?(verbose_level=Options.verbose_level)
15
    ~level:level p =
16
if !verbose_level >= level then
17
  if modulename="" then
18
    Format.eprintf "%t" p
19
  else
20
    Format.eprintf "[%s] @[%t@]" modulename p
12
let report ?plugin:(modulename = "") ?(verbose_level = Options.verbose_level)
13
    ~level p =
14
  if !verbose_level >= level then
15
    if modulename = "" then Format.eprintf "%t" p
16
    else Format.eprintf "[%s] @[%t@]" modulename p
21 17

  
22 18
(* Local Variables: *)
23 19
(* compile-command:"make -C .." *)
24 20
(* End: *)
25

  

Also available in: Unified diff