Revision c4fb63af
Added by Pierre-Loïc Garoche over 4 years ago
| src/printers.ml | ||
|---|---|---|
| 356 | 356 |
fprintf fmt "(* by Lustre-C compiler version %s, %a *)@ " Version.number pp_date (Unix.gmtime (Unix.time ())); |
| 357 | 357 |
fprintf fmt "(* Feel free to mask some of the definitions by removing them from this file. *)@ @ "; |
| 358 | 358 |
List.iter (fprintf fmt "%a@ " pp_lusi) prog; |
| 359 |
fprintf fmt "@]" |
|
| 359 |
fprintf fmt "@]@."
|
|
| 360 | 360 |
|
| 361 | 361 |
let pp_offset fmt offset = |
| 362 | 362 |
match offset with |
Also available in: Unified diff
solved bug 56: missing last node in generated lusi