Project

General

Profile

Revision cf9cc6f9 src/backends/C/c_backend_src.ml

View differences:

src/backends/C/c_backend_src.ml
300 300

  
301 301
and pp_machine_instr dependencies (m: machine_t) self fmt instr =
302 302
  match instr with 
303
  | MNoReset _ -> ()
303 304
  | MReset i ->
304 305
    pp_machine_reset m self fmt i
305 306
  | MLocalAssign (i,v) ->

Also available in: Unified diff