From 0c0cc8527eb5ee34b4faf890ed0930bc3df02f90 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 27 Jan 2017 15:27:59 +0000
Subject: further attempt to work around matching bug -- seems to work.

---
 cheri/cheri_prelude_128.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cheri')

diff --git a/cheri/cheri_prelude_128.sail b/cheri/cheri_prelude_128.sail
index b864ba64..7d4eb77e 100644
--- a/cheri/cheri_prelude_128.sail
+++ b/cheri/cheri_prelude_128.sail
@@ -176,7 +176,7 @@ function (bool, CapStruct) sealCap((CapStruct) cap, (bit[24]) otype) =
         (false, undefined)
 
 function int a_top_correction((bit[20]) a_mid, (bit[20]) R, (bit[20]) bound) =
-    switch (a_mid < R, bound < R) {
+    switch (unsigned(a_mid) < unsigned(R), unsigned(bound) < unsigned(R)) {
       case (bitzero, bitzero) -> 0
       case (bitzero, bitone)  -> 1
       case (bitone, bitzero)  -> -1
-- 
cgit v1.2.3