Project

General

Profile

Revision 77a61575 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
27 27
  let h_out = open_out header_name in
28 28
  let h_fmt = formatter_of_out_channel h_out in
29 29
  begin
30
    Typing.uneval_prog_generics header;
31
    Clock_calculus.uneval_prog_generics header;
30 32
    Printers.pp_lusi_header h_fmt basename header;
31 33
    close_out h_out
32 34
  end

Also available in: Unified diff