Project

General

Profile

Revision 217837e2 src/tools/stateflow/sf_sem.ml

View differences:

src/tools/stateflow/sf_sem.ml
82 82
     Format.fprintf auto_fmt "%a@." Printers.pp_prog prog;
83 83

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

  
87 87

  
88 88
     Options.print_dec_types := false;

Also available in: Unified diff