Project

General

Profile

Revision c02d255e src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
137 137
  (* Clock calculus *)
138 138
  let computed_clocks_env = clock_decls clock_env prog in
139 139

  
140
  (* Perform global inlining *)
141
  let prog =
142
    if !Options.global_inline && 
143
      (match !Options.main_node with | "" -> false | _ -> true) then
144
      Inliner.global_inline prog type_env clock_env
145
    else
146
      prog
147
  in
148

  
140 149
  (* Delay calculus *)
141 150
  (*
142 151
    if(!Options.delay_calculus)

Also available in: Unified diff