Project

General

Profile

Revision e8f55c25 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
80 80

  
81 81
  Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>.. Phase 2 : Machines generation@,");
82 82

  
83
  let machine_code = 
84
    Compiler_stages.stage2 prog 
83
  let prog, machine_code = 
84
    Compiler_stages.stage2 params prog 
85 85
  in
86 86

  
87 87
  Log.report ~level:3 (fun fmt -> fprintf fmt ".. Generated machines:@ %a@ " Machine_code_common.pp_machines machine_code);

Also available in: Unified diff