Project

General

Profile

Revision a0c92fa8 src/main_lustre_verifier.ml

View differences:

src/main_lustre_verifier.ml
65 65
      decr Options.verbose_level;
66 66
      Compiler_stages.stage1 params prog dirname basename extension
67 67
    with Compiler_stages.StopPhase1 prog -> (
68
      if !Options.print_nodes then (
69
        Format.printf "%a@.@?" Printers.pp_node_list prog;
70
        exit 0
71
      )
72
      else
68 73
        assert false
69 74
    )
70 75
  in

Also available in: Unified diff