Revision 74ca6b61 src/tools/stateflow/sf_sem.ml
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