diff options
| -rw-r--r-- | cheri/cheri_prelude_128.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/cheri_prelude_128.sail b/cheri/cheri_prelude_128.sail index f97842a0..8e0e6970 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 [|-1:1|] a_top_correction((bit[20]) a_mid, (bit[20]) R, (bit[20]) bound) = - switch (unsigned(a_mid) < unsigned(R), unsigned(bound) < unsigned(R)) { + switch (a_mid <_u R, bound <_u R) { case (bitzero, bitzero) -> 0 case (bitzero, bitone) -> 1 case (bitone, bitzero) -> -1 |