Project

General

Profile

Revision 521e2a6b src/backends/C/c_backend_common.ml

View differences:

src/backends/C/c_backend_common.ml
474 474
    pp_c_val self pp_var fmt (mk_val (StateVar var) var.var_type)
475 475
  else
476 476
    pp_c_val self pp_var fmt (mk_val (LocalVar var) var.var_type)
477
  
477 478

  
478 479
let pp_array_suffix fmt loop_vars =
479 480
  Utils.fprintf_list ~sep:"" (fun fmt v -> fprintf fmt "[%s]" v) fmt loop_vars

Also available in: Unified diff