1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/builtin/theory_builtin.cpp b/src/theory/builtin/theory_builtin.cpp
index 6cdcb4032..174e10d2f 100644
--- a/src/theory/builtin/theory_builtin.cpp
+++ b/src/theory/builtin/theory_builtin.cpp
@@ -54,14 +54,14 @@ Node TheoryBuiltin::blastDistinct(TNode in) {
 RewriteResponse TheoryBuiltin::preRewrite(TNode in, bool topLevel) {
   switch(in.getKind()) {
   case kind::DISTINCT:
-    return RewritingComplete(blastDistinct(in));
+    return RewriteComplete(blastDistinct(in));
 
   case kind::EQUAL:
     // EQUAL is a special case that should never end up here
     Unreachable("TheoryBuiltin can't rewrite EQUAL !");
 
   default:
-    return RewritingComplete(in);
+    return RewriteComplete(in);
   }
 }