Project

General

Profile

Revision f9f06e7d src/compiler_stages.ml

View differences:

src/compiler_stages.ml
56 56
  Log.report ~level:4 (fun fmt -> fprintf fmt ".. after automata expansion:@,  @[<v 2>@,%a@]@ " Printers.pp_prog prog);
57 57

  
58 58
  (* Importing source *)
59
  let _ = Modules.load_program ISet.empty prog in
59
  let _ = Modules.load ~is_header:false ISet.empty prog in
60 60

  
61 61
  (* Extracting dependencies (and updating Global.(type_env/clock_env) *)
62 62
  let dependencies = import_dependencies prog in

Also available in: Unified diff