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 d331e695..84177608 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -148,7 +148,7 @@ function clause execute(CPtrCmp(rd, cb, ct, op)) = lts := false; if (cb_val.tag != ct_val.tag) then { - if (cb_val.tag) then + if (~(cb_val.tag)) then { ltu := true; lts := true; |