Revision a0c92fa8 src/main_lustre_compiler.ml
src/main_lustre_compiler.ml | ||
---|---|---|
47 | 47 |
|
48 | 48 |
(* Parsing source *) |
49 | 49 |
let prog = parse source_name extension in |
50 |
|
|
50 |
|
|
51 | 51 |
let prog = |
52 | 52 |
if !Options.mpfr && |
53 | 53 |
extension = ".lus" (* trying to avoid the injection of the module for lusi files *) |
... | ... | |
71 | 71 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@."); |
72 | 72 |
exit 0 |
73 | 73 |
end |
74 |
else if !Options.print_nodes then ( |
|
75 |
Format.printf "%a@.@?" Printers.pp_node_list prog; |
|
76 |
exit 0 |
|
77 |
) |
|
74 | 78 |
else |
75 | 79 |
assert false |
76 | 80 |
) |
Also available in: Unified diff