Project

General

Profile

Revision 74ca6b61 src/tools/stateflow/sf_sem.ml

View differences:

src/tools/stateflow/sf_sem.ml
70 70
     end) in
71 71
     let module Sem = CPS.Semantics (T) (Model) in
72 72
     let prog = Sem.code_gen modularmode in
73

  
73
     Options.print_dec_types := true;
74 74
     Format.printf "%a@." Printers.pp_prog prog;
75 75

  
76 76
     let prog, deps = Main_lustre_compiler.stage1 prog "" "" in

Also available in: Unified diff