Project

General

Profile

Revision 5318ad88 src/backends/C/c_backend_header.ml

View differences:

src/backends/C/c_backend_header.ml
55 55
  match v.value_desc with
56 56
  | Cst c         -> pp_c_const fmt c
57 57
  | LocalVar v    -> pp_var fmt v
58
  | Fun (n, vl)   -> pp_basic_lib_fun n (print_static_val pp_var) fmt vl
58
  | Fun (n, vl)   -> pp_basic_lib_fun (Types.is_int_type v.value_type) n (print_static_val pp_var) fmt vl
59 59
  | _             -> (Format.eprintf "Internal error: C_backend_header.print_static_val"; assert false)
60 60

  
61 61
let print_constant_decl (m, attr, inst) pp_var fmt v =

Also available in: Unified diff