diff --git a/src/tactic/core/reduce_invertible_tactic.cpp b/src/tactic/core/reduce_invertible_tactic.cpp
index ea427145d..80b561d08 100644
--- 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;