1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arrays/theory_arrays.h b/src/theory/arrays/theory_arrays.h
index 7bc57bcfb..cf7f16f52 100644
--- a/src/theory/arrays/theory_arrays.h
+++ b/src/theory/arrays/theory_arrays.h
@@ -39,13 +39,13 @@ public:
   RewriteResponse preRewrite(TNode in, bool topLevel) {
     Debug("arrays-rewrite") << "pre-rewriting " << in
                             << " topLevel==" << topLevel << std::endl;
-    return RewritingComplete(in);
+    return RewriteComplete(in);
   }
 
   RewriteResponse postRewrite(TNode in, bool topLevel) {
     Debug("arrays-rewrite") << "post-rewriting " << in
                             << " topLevel==" << topLevel << std::endl;
-    return RewritingComplete(in);
+    return RewriteComplete(in);
   }
 
   void check(Effort e);