Revision 01c7d5e1 src/backends/C/c_backend_spec.ml
src/backends/C/c_backend_spec.ml | ||
---|---|---|
2 | 2 |
open LustreSpec |
3 | 3 |
open Machine_code |
4 | 4 |
open C_backend_common |
5 |
open Utils |
|
5 | 6 |
|
6 | 7 |
(**************************************************************************) |
7 | 8 |
(* Printing spec for c *) |
8 | 9 |
|
9 | 10 |
(**************************************************************************) |
11 |
(* OLD STUFF ??? |
|
12 |
|
|
10 | 13 |
|
11 | 14 |
let pp_acsl_type var fmt t = |
12 | 15 |
let rec aux t pp_suffix = |
... | ... | |
121 | 124 |
pp_acsl_spec m.mstep.step_outputs fmt spec |
122 | 125 |
) |
123 | 126 |
|
127 |
*) |
|
128 |
|
|
124 | 129 |
(**************************************************************************) |
125 | 130 |
(* MAKEFILE *) |
126 | 131 |
(**************************************************************************) |
Also available in: Unified diff