fix #4461

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2025-04-11 03:33:35 +00:00 · 2020-06-02 18:08:42 -07:00 · 2020-06-02 18:08:42 -07:00 · f645ef7677
parent bfb5c95b9a
commit f645ef7677
1 changed files with 0 additions and 1 deletions
--- a/src/tactic/core/reduce_invertible_tactic.cpp
+++ b/src/tactic/core/reduce_invertible_tactic.cpp
@ -196,7 +196,6 @@ private:
        case OP_BSHL:
        case OP_BASHR:
        case OP_BLSHR:
-        case OP_BOR:
            model = rational::zero();
            return true;