Project

General

Profile

Revision 54d032f5 src/compiler_common.ml

View differences:

src/compiler_common.ml
39 39
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. parsing header file %s@ " filename);
40 40
    try
41 41
      let header = Parse.header Parser_lustre.header Lexer_lustre.token lexbuf in
42
      ignore (Modules.load_header ISet.empty header);
42
      (*ignore (Modules.load_header ISet.empty header);*)
43 43
      close_in h_in;
44 44
      header
45 45
    with
......
65 65
    (fun fmt -> fprintf fmt ".. parsing source file %s@," source_name);
66 66
  try
67 67
    let prog = Parse.prog Parser_lustre.prog Lexer_lustre.token lexbuf in
68
    ignore (Modules.load_program ISet.empty prog);
68
    (*ignore (Modules.load_program ISet.empty prog);*)
69 69
    close_in s_in;
70 70
    prog
71 71
  with

Also available in: Unified diff