Project

General

Profile

Revision 8926852f src/plugins/scopes/scopes.ml

View differences:

src/plugins/scopes/scopes.ml
215 215
  let scopes_vars = extract_scopes_defs scopes in
216 216
  List.iteri (fun idx (id, (var, typ)) ->
217 217
    Format.fprintf fmt "@ %t;" 
218
      (fun fmt -> C_backend_common.print_put_var fmt ("_scopes_" ^ string_of_int (idx+1)) var typ var)
218
      (fun fmt -> C_backend_common.print_put_var fmt ("_scopes_" ^ string_of_int (idx+1)) id (*var*) typ var)
219 219
  ) scopes_vars
220 220

  
221 221
let update_machine machine =

Also available in: Unified diff