1 files changed, 2 insertions, 2 deletions
diff --git a/src/preprocessing/passes/learned_rewrite.cpp b/src/preprocessing/passes/learned_rewrite.cpp
index 81fbf1ea1..c2693e927 100644
--- a/src/preprocessing/passes/learned_rewrite.cpp
+++ b/src/preprocessing/passes/learned_rewrite.cpp
@@ -233,7 +233,7 @@ Node LearnedRewrite::rewriteLearned(Node n,
 {
   NodeManager* nm = NodeManager::currentNM();
   Trace("learned-rewrite-rr-debug") << "Rewrite " << n << std::endl;
-  Node nr = Rewriter::rewrite(n);
+  Node nr = rewrite(n);
   Kind k = nr.getKind();
   if (k == INTS_DIVISION || k == INTS_MODULUS || k == DIVISION)
   {
@@ -278,7 +278,7 @@ Node LearnedRewrite::rewriteLearned(Node n,
       children.insert(children.end(), n.begin(), n.end());
       Node ret = nm->mkNode(nk, children);
       nr = returnRewriteLearned(nr, ret, LearnedRewriteId::NON_ZERO_DEN);
-      nr = Rewriter::rewrite(nr);
+      nr = rewrite(nr);
       k = nr.getKind();
     }
   }