ANother

ajreynol · Dec 20, 2024 · 8c3176f · 8c3176f
1 parent 1f0c2b9
commit 8c3176f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/theory/arith/arith_rewriter.cpp b/src/theory/arith/arith_rewriter.cpp
@@ -436,7 +436,6 @@ RewriteResponse ArithRewriter::postRewriteTerm(TNode t){
       case Kind::ADD: return postRewritePlus(t);
       case Kind::MULT:
       case Kind::NONLINEAR_MULT: return postRewriteMult(t);
-      case Kind::POW2: return postRewritePow2(t);
       case Kind::INTS_ISPOW2: return postRewriteIntsIsPow2(t);
       case Kind::INTS_LOG2: return postRewriteIntsLog2(t);
       case Kind::INTS_DIVISION:
@@ -471,7 +470,8 @@ RewriteResponse ArithRewriter::postRewriteTerm(TNode t){
       case Kind::ARCSECANT:
       case Kind::ARCCOTANGENT:
       case Kind::SQRT:
-      case Kind::IAND: return postRewriteExpert(t);
+      case Kind::IAND: 
+      case Kind::POW2: return postRewriteExpert(t);
       default: Unreachable();
     }
   }
@@ -499,6 +499,7 @@ RewriteResponse ArithRewriter::postRewriteExpert(TNode t)
     case Kind::ARCCOTANGENT:
     case Kind::SQRT: return postRewriteTranscendental(t);
     case Kind::IAND: return postRewriteIAnd(t);
+    case Kind::POW2: return postRewritePow2(t);
     default: Unreachable();
   }
 }