Project

General

Profile

Revision f9f06e7d src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
42 42
  begin
43 43
    Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v>");
44 44
    let header = parse_header true (dirname ^ "/" ^ header_name) in
45
    ignore (Modules.load_header ISet.empty header);
45
    ignore (Modules.load ~is_header:true ISet.empty header);
46 46
    ignore (check_top_decls header); (* typing/clocking with an empty env *)
47 47
    create_dest_dir ();
48 48
    Log.report ~level:1

Also available in: Unified diff