source: Deliverables/D2.2/8051/src/clight/clightLustre.mli @ 1664

Last change on this file since 1664 was 1490, checked in by ayache, 8 years ago

Function pointers fixed.

File size: 202 bytes
Line 
1
2(** [simplify p] removes in the Clight program [p] references to external
3    functions generated by the Lustre compiler and that we do not know of. *)
4
5val simplify : Clight.program -> Clight.program
Note: See TracBrowser for help on using the repository browser.