actually read next_pc twice when handling a translate_address exception

1 files changed, 1 insertions, 0 deletions

diff --git a/src/lem_interp/run_with_elf_cheri.ml b/src/lem_interp/run_with_elf_cheri.ml
index 94bd2932..837c5cf1 100644
--- a/src/lem_interp/run_with_elf_cheri.ml
+++ b/src/lem_interp/run_with_elf_cheri.ml
@@ -1024,6 +1024,7 @@ let fetch_instruction_opcode_and_update_ia model addr_trans =
         | Some a, None -> integer_of_address a
         | None, Some events ->
           write_events events;
+          let nextPC  = Reg.find "nextPC" !reg in
           let pc_addr = address_of_register_value nextPC in
           (match pc_addr with
            | Some pc_addr ->