disable pow2 rewrite

yoni206 · Apr 24, 2024 · 76b1236 · 76b1236
1 parent f38e940
commit 76b1236
Showing 1 changed file with 0 additions and 13 deletions.
diff --git a/src/theory/arith/arith_rewriter.cpp b/src/theory/arith/arith_rewriter.cpp
@@ -341,19 +341,6 @@ RewriteResponse ArithRewriter::postRewriteTerm(TNode t){
             }
           }
         }
-        else if (t[0].isConst()
-                 && t[0].getConst<Rational>().getNumerator().toUnsignedInt()
-                        == 2
-                 && t[1].getType().isInteger())
-        {
-          Node ret = nodeManager()->mkNode(Kind::POW2, t[1]);
-          // ensure type is preserved
-          if (t.getType().isReal())
-          {
-            ret = rewriter::ensureReal(ret);
-          }
-          return RewriteResponse(REWRITE_AGAIN, ret);
-        }
         return RewriteResponse(REWRITE_DONE, t);
       }
       case Kind::PI: return RewriteResponse(REWRITE_DONE, t);