Project

General

Profile

« Previous | Next » 

Revision 2fdbc781

Added by Pierre-Loïc Garoche about 5 years ago

Cleaning output:
- no more classic display for ocamlc
- compilation warnings removed

View differences:

src/main_lustre_testgen.ml
51 51
  check_stateless_decls prog;
52 52
  
53 53
  (* Typing *)
54
  let computed_types_env = type_decls type_env prog in
54
  let _ (*computed_types_env*) = type_decls type_env prog in
55 55

  
56 56
  (* Clock calculus *)
57
  let computed_clocks_env = clock_decls clock_env prog in
57
  let _ (*computed_clocks_env*) = clock_decls clock_env prog in
58 58

  
59 59
  (* Creating destination directory if needed *)
60 60
  create_dest_dir ();

Also available in: Unified diff