Project

General

Profile

« Previous | Next » 

Revision ed736b69

Added by Pierre-Loïc Garoche over 8 years ago

Merge of last trunk commits
Added fbyn(expr, n, init) to encode
init -> pre (init -> pre (init -> ... pre expr))
with n occurences of init

View differences:

src/log.ml
11 11 

  		




  12
  12
  
    
let report ~level:level p =


  		




  13
  13
  
    
if !Options.verbose_level >= level then


  		




  14
  
  
    
  Format.eprintf "%t" p


  		




  
  14
  
    
  begin


  		




  
  15
  
    
    Format.eprintf "%t" p;


  		




  
  16
  
    
    Format.pp_print_flush Format.err_formatter ()


  		




  
  17
  
    
  end


  		




  15
  18
  
    

  		




  16
  19
  
    
(* Local Variables: *)


  		




  17
  20
  
    
(* compile-command:"make -C .." *)


  		












Also available in:  Unified diff