diff options
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index 2a5ae43f..76a76ea9 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -328,7 +328,7 @@ function clause execute(CPtrCmp(rd, cb, ct, op)) = case CLT -> [lts] case CLE -> [lts | equal] case CLTU -> [ltu] - case CLEU -> [lts | equal] + case CLEU -> [ltu | equal] case CEXEQ -> [cb_val == ct_val] }) } |