Project

General

Profile

Revision ad4774b0 src/tools/stateflow/sf_sem.ml

View differences:

src/tools/stateflow/sf_sem.ml
80 80
     let auto_out = open_out auto_file in
81 81
     let auto_fmt = Format.formatter_of_out_channel auto_out in
82 82
     Format.fprintf auto_fmt "%a@." Printers.pp_prog prog;
83
     
84
     let prog, deps = Compiler_stages.stage1 prog "" "" in
83

  
84
     let params = Backends.get_normalization_params () in
85
     let prog, deps = Compiler_stages.stage1 params prog "" "" in
85 86

  
86 87
     Format.printf "%a@." Printers.pp_prog prog;
87 88
     let noauto_file = "sf_gen_test_noauto.lus" in (* Could be changed *)

Also available in: Unified diff