Project

General

Profile

Revision 89137ae1 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
268 268

  
269 269
  if !Options.optimization >= 2 then
270 270
    begin
271
      Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
271
      Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
272 272
	(Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine)
273 273
	machine_code);
274 274
    end;
275 275

  
276
  Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
277
  (Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine)
278
  machine_code);
279

  
280 276
  (* Printing code *)
281 277
  let basename    =  Filename.basename basename in
282 278
  let destname = !Options.dest_dir ^ "/" ^ basename in

Also available in: Unified diff