diff options
| -rw-r--r-- | src/lem_interp/run_with_elf_cheri.ml | 1 |
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 -> |