Project

General

Profile

Revision f3d244c1 src/backends/Horn/horn_backend_printers.ml

View differences:

src/backends/Horn/horn_backend_printers.ml
193 193
(* Print the instruction and update the set of reset instances *)
194 194
let rec pp_machine_instr machines reset_instances (m: machine_t) fmt instr : ident list =
195 195
  match instr with
196
  | MComment _ -> reset_instances
196 197
  | MNoReset i -> (* we assign middle_mem with mem_m. And declare i as reset *)
197 198
    pp_no_reset machines m fmt i;
198 199
    i::reset_instances

Also available in: Unified diff