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