From 762a0023ecc9d366b0739f71f62ad0e0b3c5ac02 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 3 May 2016 16:33:13 +0100
Subject: actually read next_pc twice when handling a translate_address
 exception

---
 src/lem_interp/run_with_elf_cheri.ml | 1 +
 1 file changed, 1 insertion(+)

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 ->
-- 
cgit v1.2.3