Project

General

Profile

Revision 0038002e src/backends/C/c_backend_spec.ml

View differences:

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