Project

General

Profile

Revision b4d9710b src/backends/C/c_backend_src.ml

View differences:

src/backends/C/c_backend_src.ml
144 144
     (Utils.fprintf_list ~sep:", " (pp_c_var_write m)) outputs 
145 145

  
146 146
let pp_machine_reset (m: machine_t) self fmt inst =
147
  let (node, static) = List.assoc inst m.minstances in
147
  let (node, static) =
148
    try
149
      List.assoc inst m.minstances
150
    with Not_found -> (Format.eprintf "pp_machine_reset %s %s %s: internal error@," m.mname.node_id self inst; raise Not_found) in
148 151
  fprintf fmt "%a(%a%t%s->%s);"
149 152
    pp_machine_reset_name (node_name node)
150 153
    (Utils.fprintf_list ~sep:", " Dimension.pp_dimension) static

Also available in: Unified diff