Project

General

Profile

Revision ae08b9fc src/types.ml

View differences:

src/types.ml
168 168
    fprintf fmt "_%s" (name_of_type ty.tid)
169 169
  | Tbasic t -> pp_basic fmt t
170 170
  | Tclock t ->
171
    fprintf fmt "%a clock" print_ty t
171
    fprintf fmt "%a%s" print_ty t (if !Options.kind2_print then "" else " clock")
172 172
  | Tstatic (d, t) ->
173 173
    fprintf fmt "(%a:%a)" Dimension.pp_dimension d print_ty t
174 174
  | Tconst t ->
......
204 204
  end
205 205
  | Tbasic t -> BasicT.pp fmt t
206 206
  | Tclock t ->
207
    fprintf fmt "%a clock" print_node_ty t
207
    fprintf fmt "%a%s" print_node_ty t (if !Options.kind2_print then "" else " clock")
208 208
  | Tstatic (_, t) ->
209 209
    fprintf fmt "%a" print_node_ty t
210 210
  | Tconst t ->

Also available in: Unified diff