Project

General

Profile

Revision c00d0b42 src/log.ml

View differences:

src/log.ml
25 25 

  		




  26
  26
  
    
let report ~level:level p =


  		




  27
  27
  
    
if !Options.verbose_level >= level then


  		




  28
  
  
    
  Format.eprintf "%t@?" p


  		




  
  28
  
    
  Format.eprintf "%t" p


  		




  29
  29
  
    

  		




  30
  30
  
    
(* Local Variables: *)


  		




  31
  31
  
    
(* compile-command:"make -C .." *)


  		












Also available in:  Unified diff