Project

General

Profile

Revision d52e7821 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
282 282

  
283 283
  (* Optimize machine code *)
284 284
  let machine_code = 
285
    if !Options.optimization >= 3 then
285
    if !Options.optimization >= 3 && !Options.output <> "horn" then
286 286
      begin
287 287
	Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines optimization@,");
288 288
	Optimize_machine.machines_reuse_variables machine_code node_schs

Also available in: Unified diff