Project

General

Profile

Revision a28d1ba7 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
76 76
      else
77 77
	begin
78 78
	  Log.report ~level:1 (fun fmt -> fprintf fmt ".. loading compiled header file %s@," header_name);
79
	  Lusic.check_lusic lusic destname;
79
	  Modules.check_dependency lusic destname;
80 80
	  let header = lusic.Lusic.contents in
81 81
	  let (declared_types_env, declared_clocks_env) = get_envs_from_top_decls header in
82 82
	  check_compatibility
......
233 233
      end
234 234
    else
235 235
      machine_code
236
 in
236
  in
237 237
  (* Optimize machine code *)
238 238
  let machine_code =
239 239
    if !Options.optimization >= 3 && !Options.output <> "horn" then

Also available in: Unified diff