Project

General

Profile

Revision bc9fd714 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
110 110
	
111 111
    end;
112 112
  let machine_code = Plugins.refine_machine_code prog machine_code in
113
  Log.report ~level:1 (fun fmt -> fprintf fmt "xxx@]@ yyy@ ");
113
  Log.report ~level:1 (fun fmt -> fprintf fmt "@]@ @ ");
114 114
  
115 115
  Compiler_stages.stage3 prog machine_code dependencies basename;
116 116
  begin

Also available in: Unified diff