Revision 6d3b5007
Added by Arnaud Dieumegard about 5 years ago
src/tools/importer/main_lustre_importer.ml | ||
---|---|---|
43 | 43 |
(* Printers.pp_prog std_formatter program; *) |
44 | 44 |
|
45 | 45 |
| Error e -> Format.printf "Error: %s\n" e; |
46 |
|
Also available in: Unified diff
Added support for ProcedureCall statements