Project

General

Profile

Revision 264a4844 src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
45 45
      Inliner.global_inline basename prog type_env clock_env
46 46
    else (* if !Option.has_local_inline *)
47 47
      [],
48
      Inliner.local_inline basename prog type_env clock_env
48
      Inliner.local_inline prog (* type_env clock_env *)
49 49
  in
50 50

  
51 51
  check_stateless_decls prog;

Also available in: Unified diff