Project

General

Profile

Revision df39e35a src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
192 192
     and warns about unused input or memory variables *)
193 193
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. scheduling@,");
194 194
  let prog, node_schs = Scheduling.schedule_prog prog in
195
  Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Scheduling.pp_warning_unused node_schs);
195
  Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Scheduling.pp_warning_unused node_schs);
196 196
  Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Scheduling.pp_schedule node_schs);
197 197
  Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Scheduling.pp_fanin_table node_schs);
198 198
  Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Printers.pp_prog prog);

Also available in: Unified diff