Revision f9f06e7d src/main_lustre_compiler.ml
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