Project

General

Profile

Revision ad4774b0 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
71 71
    else
72 72
      prog
73 73
  in
74
  let params = Backends.get_normalization_params () in
75

  
74 76
  let prog, dependencies = 
75 77
    Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>.. Phase 1 : Normalisation@,");
76 78
    try 
77
      Compiler_stages.stage1 prog dirname basename
79
      Compiler_stages.stage1 params prog dirname basename
78 80
    with Compiler_stages.StopPhase1 prog -> (
79 81
      if !Options.lusi then
80 82
	begin

Also available in: Unified diff