Project

General

Profile

« Previous | Next » 

Revision c4fb63af

Added by Pierre-Loïc Garoche over 4 years ago

solved bug 56: missing last node in generated lusi

View differences:

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