From d5c5286ebaad7d47e028fd961792d49b74eacd1f Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 2 Mar 2018 14:55:05 +0000
Subject: remove workaround for #8 now that it is fixed.

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

(limited to 'cheri')

diff --git a/cheri/cheri_prelude_common.sail b/cheri/cheri_prelude_common.sail
index fb3f456e..02a6d408 100644
--- a/cheri/cheri_prelude_common.sail
+++ b/cheri/cheri_prelude_common.sail
@@ -385,7 +385,7 @@ function init_cp2_state () = {
   PCC = defaultBits;
   nextPCC = defaultBits;
   delayedPCC = defaultBits;
-  foreach(i from 0 to 32) {
+  foreach(i from 0 to 31) {
     let idx = to_bits(5, i) in
     writeCapReg(idx, default_cap);
   }
@@ -418,7 +418,7 @@ function capToString cap =
 
 function dump_cp2_state () = {
   print(concat_str("DEBUG CAP PCC", capToString(capRegToCapStruct(PCC))));
-  foreach(i from 0 to 32) {
+  foreach(i from 0 to 31) {
     print(concat_str("DEBUG CAP REG ", concat_str(string_of_int(i), capToString(readCapReg(to_bits(5, i))))))
   }
 }
\ No newline at end of file
-- 
cgit v1.2.3