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