From 17c518d94e5b2f531de47ee94ca0ceca09051f25 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 6 Dec 2017 17:19:40 +0000
Subject: Make CHERI spec type-check again

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

(limited to 'cheri')

diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail
index 3c1e34bb..c2115534 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -1060,8 +1060,8 @@ function clause execute (CCall(cs, cb, 0b00000000001)) = (* selector=1 *)
     }) in {
       delayedPC := (bit[64]) (getCapOffset(cs_val));
       delayedPCC := csUnsealed;
-      branchPending := true;
-      inCCallDelay  := true;
+      branchPending := 0b1;
+      inCCallDelay  := 0b1;
       C26 := capStructToCapReg({cb_val with
         sealed=false;
         otype=0;
-- 
cgit v1.2.3