2 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/theory_arith.cpp b/src/theory/arith/theory_arith.cpp
index 5d719aa6f..4d6a95eff 100644
--- a/src/theory/arith/theory_arith.cpp
+++ b/src/theory/arith/theory_arith.cpp
@@ -340,7 +340,7 @@ RewriteResponse TheoryArith::preRewrite(TNode n, bool topLevel) {
       }
     }
   }
-  return RewritingComplete(Node(n));
+  return RewriteComplete(Node(n));
 }
 
 Node TheoryArith::rewrite(TNode n){
diff --git a/src/theory/arith/theory_arith.h b/src/theory/arith/theory_arith.h
index 465adacbc..7d9fd1136 100644
--- a/src/theory/arith/theory_arith.h
+++ b/src/theory/arith/theory_arith.h
@@ -116,7 +116,7 @@ public:
    * Plug in old rewrite to the new (pre,post)rewrite interface.
    */
   RewriteResponse postRewrite(TNode n, bool topLevel) {
-    return RewritingComplete(topLevel ? rewrite(n) : Node(n));
+    return RewriteComplete(topLevel ? rewrite(n) : Node(n));
   }
 
   /**