diff options
Diffstat (limited to 'src/theory/rewriter/rules/basic.rules')
| -rw-r--r-- | src/theory/rewriter/rules/basic.rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/rewriter/rules/basic.rules b/src/theory/rewriter/rules/basic.rules index 8c885849d..9fb964ebe 100644 --- a/src/theory/rewriter/rules/basic.rules +++ b/src/theory/rewriter/rules/basic.rules @@ -620,4 +620,4 @@ (define-rule UltPlusOne ( (n Int :const) (x (_ BitVec n)) (y (_ BitVec n))) (bvult x (bvadd y (_ bv 1 n))) - (and (not (bvult (bvnot y) x)) (not (= y (bvnot (_ bv 0 n)))))) + (and (not (bvult y x)) (not (= y (bvnot (_ bv 0 n)))))) |