Project

General

Profile

Revision 861f327f src/sortProg.ml

View differences:

src/sortProg.ml
45 45
    Causality.pp_error Format.err_formatter err;
46 46
    raise exc
47 47
  in
48
  
48 49
  Log.report ~level:3 
49 50
    (fun fmt -> Format.fprintf fmt "Ordered list of declarations:@.%a@.@?" (Utils.fprintf_list ~sep:"@." Printers.pp_short_decl) sorted);
50 51
  	  not_nodes@sorted

Also available in: Unified diff