From 950ac43cc496319b263c87fbe47c45d06838c634 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 25 Jan 2017 16:53:42 +0000
Subject: fix typo in c256 capRegToCapStruct

---
 cheri/cheri_prelude_256.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'cheri')

diff --git a/cheri/cheri_prelude_256.sail b/cheri/cheri_prelude_256.sail
index 959fcee3..8cb162f8 100644
--- a/cheri/cheri_prelude_256.sail
+++ b/cheri/cheri_prelude_256.sail
@@ -95,8 +95,8 @@ function CapStruct capRegToCapStruct((CapReg) capReg) =
     perm_reserved9             = capReg[202];
     perm_reserved8             = capReg[201];
     permit_seal                = capReg[200];
-    permit_store_local_cap     = capReg[190];
-    permit_store_cap           = capReg[199];
+    permit_store_local_cap     = capReg[199];
+    permit_store_cap           = capReg[198];
     permit_load_cap            = capReg[197];
     permit_store               = capReg[196];
     permit_load                = capReg[195];
-- 
cgit v1.2.3