Project

General

Profile

« Previous | Next » 

Revision 7ee5f69e

Added by LĂ©lio Brun 9 months ago

corrections on loggers + spec in AST

View differences:

src/sortProg.ml
46 46
  in
47 47
  
48 48
  Log.report ~level:3 
49
    (fun fmt -> Format.fprintf fmt "Ordered list of declarations:@.%a@.@?" (Utils.fprintf_list ~sep:"@." Printers.pp_short_decl) sorted);
49
    (fun fmt -> Format.fprintf fmt "@ @[<v 2>.. ordered list of declarations:@ %a@]@ "
50
        (Utils.fprintf_list ~sep:"@ " Printers.pp_short_decl) sorted);
50 51
  	  not_nodes@sorted
51 52

  
52 53

  

Also available in: Unified diff