Project

General

Profile

Revision bde99c3f src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
59 59
  (* Creating destination directory if needed *)
60 60
  create_dest_dir ();
61 61

  
62
  (* Compatibility with Lusi *)
63
  (* Checking the existence of a lusi (Lustre Interface file) *)
64
  let extension = ".lusi" in
65
  compile_source_to_header prog computed_types_env computed_clocks_env dirname basename extension;
66

  
67 62
  Typing.uneval_prog_generics prog;
68 63
  Clock_calculus.uneval_prog_generics prog;
69 64

  

Also available in: Unified diff