Project

General

Profile

Revision 217837e2 src/main_lustre_verifier.ml

View differences:

src/main_lustre_verifier.ml
48 48
  decr Options.verbose_level;
49 49

  
50 50
  (* Parsing source *)
51
  let prog = parse_source source_name in
51
  let prog = parse source_name extension in
52 52

  
53 53
  (* Checking which solver is active *)
54 54
  incr Options.verbose_level;
......
63 63
      incr Options.verbose_level;
64 64
      let params = Verifier.get_normalization_params () in
65 65
      decr Options.verbose_level;
66
      Compiler_stages.stage1 params prog dirname basename
66
      Compiler_stages.stage1 params prog dirname basename extension
67 67
    with Compiler_stages.StopPhase1 prog -> (
68 68
        assert false
69 69
    )

Also available in: Unified diff