Project

General

Profile

Revision e24b2e9b src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
164 164
  if !Options.global_inline && !Options.main_node <> "" && !Options.witnesses then
165 165
    begin
166 166
      let orig = Corelang.copy_prog orig in
167
      Log.report ~level:1 (fun fmt -> fprintf fmt ".. generating witness file !@,");
167
      Log.report ~level:1 (fun fmt -> fprintf fmt ".. generating witness file@,");
168 168
      check_stateless_decls orig;
169 169
      let _ = Typing.type_prog type_env orig in
170 170
      let _ = Clock_calculus.clock_prog clock_env orig in
......
173 173
      Inliner.witness 
174 174
	basename
175 175
	!Options.main_node
176
	orig prog type_env clock_env;
177
      Log.report ~level:1 (fun fmt -> fprintf fmt ".. done !@,");
176
	orig prog type_env clock_env
178 177
    end;
179 178

  
180 179
(*Format.eprintf "Inliner.global_inline<<@.%a@.>>@." Printers.pp_prog prog;*)

Also available in: Unified diff