From 326f0dd88df92d3936b7acadb5073802d3f9d77b Mon Sep 17 00:00:00 2001
From: Jon French
Date: Thu, 21 Jun 2018 13:09:29 +0100
Subject: changes to riscv model to support rmem

---
 src/lem_interp/sail2_instr_kinds.lem | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/sail2_instr_kinds.lem b/src/lem_interp/sail2_instr_kinds.lem
index d8a2c0c0..13e5304e 100644
--- a/src/lem_interp/sail2_instr_kinds.lem
+++ b/src/lem_interp/sail2_instr_kinds.lem
@@ -198,11 +198,11 @@ type instruction_kind =
   | IK_mem_read  of read_kind
   | IK_mem_write of write_kind
   | IK_mem_rmw   of (read_kind * write_kind)
-  | IK_branch (* this includes conditional-branch (multiple nias, none of which is NIA_indirect_address),
+  | IK_branch    of unit(* this includes conditional-branch (multiple nias, none of which is NIA_indirect_address),
   indirect/computed-branch (single nia of kind NIA_indirect_address)
   and branch/jump (single nia of kind NIA_concrete_address) *)
   | IK_trans     of trans_kind
-  | IK_simple
+  | IK_simple    of unit
 
 
 instance (Show instruction_kind)
@@ -213,7 +213,7 @@ instance (Show instruction_kind)
     | IK_mem_rmw (r, w)       -> "IK_mem_rmw " ^ (show r) ^ " " ^ (show w)
     | IK_branch               -> "IK_branch"
     | IK_trans trans_kind     -> "IK_trans " ^ (show trans_kind)
-    | IK_simple               -> "IK_simple"
+    | IK_simple ()            -> "IK_simple"
   end
 end
 
-- 
cgit v1.2.3