From b2209e1aafe9513a90895f55eb99703dfb323a5c Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 26 Jan 2017 15:33:40 +0000
Subject: attempted work around for apparent sail bug with matching result of
 comparison

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

diff --git a/cheri/cheri_prelude_128.sail b/cheri/cheri_prelude_128.sail
index 348bfc43..221b4c0a 100644
--- a/cheri/cheri_prelude_128.sail
+++ b/cheri/cheri_prelude_128.sail
@@ -177,10 +177,10 @@ function (bool, CapStruct) sealCap((CapStruct) cap, (bit[24]) otype) =
 
 function int a_top_correction((bit[20]) a_mid, (bit[20]) R, (bit[20]) bound) =
     switch (a_mid < R, bound < R) {
-      case (False, False) -> 0
-      case (False, True)  -> 1
-      case (True, False)  -> -1
-      case (True, True)   -> 0
+      case (bitzero, bitzero) -> 0
+      case (bitzero, bitone)  -> 1
+      case (bitone, bitzero)  -> -1
+      case (bitone, bitone)   -> 0
     }
 
 function bit[64] getCapBase((CapStruct) c)  = 
-- 
cgit v1.2.3