Project

General

Profile

Revision dd71e482 src/printers.ml

View differences:

src/printers.ml
45 45
  | Tydec_array (d, cty') -> fprintf fmt "%a^%a" print_dec_ty cty' Dimension.pp_dimension d
46 46

  
47 47
let pp_var_name fmt id = fprintf fmt "%s" id.var_id
48
let pp_var_type fmt id = Types.print_ty fmt id.var_type
48
let pp_var_type fmt id = Types.print_node_ty fmt id.var_type
49 49
  
50 50
let pp_eq_lhs = fprintf_list ~sep:", " pp_print_string
51 51

  

Also available in: Unified diff