Revision a0c92fa8 src/main_lustre_verifier.ml
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