Revision 60aab16d
Added by Xavier Thirioux about 7 years ago
| src/main_lustre_compiler.ml | ||
|---|---|---|
| 98 | 98 |
(* Removing automata *) |
| 99 | 99 |
let prog = Automata.expand_decls prog in |
| 100 | 100 |
|
| 101 |
Log.report ~level:4 (fun fmt -> fprintf fmt "After automata expansion:@.@[<v 2>@ %a@]@," Printers.pp_prog prog); |
|
| 102 |
|
|
| 101 | 103 |
(* Importing source *) |
| 102 | 104 |
let _ = Modules.load_program ISet.empty prog in |
| 103 | 105 |
|
Also available in: Unified diff
Bug solved in automaton part