Project

General

Profile

Revision cefc3744 src/backends/C/c_backend_common.ml

View differences:

src/backends/C/c_backend_common.ml
213 213
    | Fun (n, vl)   -> Basic_library.pp_c n (pp_c_val self pp_var) fmt vl
214 214

  
215 215
let pp_c_checks self fmt m =
216
  Utils.fprintf_list ~sep:"" (fun fmt (loc, check) -> fprintf fmt "@[<v>%a@,assert (%a);@]@," Location.pp_c_loc loc (pp_c_val self (pp_c_var_read m)) check) fmt m.mstep.step_checks
216
  Utils.fprintf_list ~sep:"" 
217
    (fun fmt (loc, check) -> 
218
      fprintf fmt 
219
	"@[<v>%a@,assert (%a);@]@," 
220
	Location.pp_c_loc loc
221
	(pp_c_val self (pp_c_var_read m)) check
222
    ) 
223
    fmt 
224
    m.mstep.step_checks
217 225

  
218 226

  
219 227
(********************************************************************************************)

Also available in: Unified diff