Project

General

Profile

Revision b35da910 src/types.ml

View differences:

src/types.ml
108 108
and print_node_ty fmt ty =
109 109
  match ty.tdesc with
110 110
  | Tvar -> begin
111
Format.eprintf "DEBUG:Types.print_node@.";
111
(*Format.eprintf "DEBUG:Types.print_node@.";*)
112 112
    fprintf fmt "_%s" (name_of_type ty.tid)
113 113
end
114 114
  | Tint ->

Also available in: Unified diff