Make CHERI spec type-check again

1 files changed, 2 insertions, 2 deletions

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;