Project

General

Profile

Revision d5767b5a src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
89 89

  
90 90
  (* Extracting dependencies *)
91 91
  let dependencies, type_env, clock_env = import_dependencies prog in
92
 
92

  
93
  (* Removing automata *) 
94
  (*let prog = Automata.expand_decls prog in*)
95

  
96
  (*Printers.pp_prog Format.std_formatter prog;*)
93 97
  (* Sorting nodes *)
94 98
  let prog = SortProg.sort prog in
95 99

  

Also available in: Unified diff