Project

General

Profile

Revision 60aab16d src/main_lustre_compiler.ml

View differences:

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