From: lianah <lianahady@gmail.com>
Date: Tue, 3 Dec 2013 00:41:56 +0000 (-0500)
Subject: fixed rewriter bug where postRewrite was not caching properly
X-Git-Tag: cvc5-1.0.0~7226
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fe31c46e11df64da6a9c4741525e09952ba016cf;p=cvc5.git

fixed rewriter bug where postRewrite was not caching properly
---

diff --git a/src/theory/rewriter.cpp b/src/theory/rewriter.cpp
index 979d5d88d..f9add4fac 100644
--- a/src/theory/rewriter.cpp
+++ b/src/theory/rewriter.cpp
@@ -139,7 +139,8 @@ Node Rewriter::rewriteTo(theory::TheoryId theoryId, Node node) {
         rewriteStackTop.theoryId = theoryOf(cached);
       }
     }
-
+    
+    rewriteStackTop.original =rewriteStackTop.node;
     // Now it's time to rewrite the children, check if this has already been done
     Node cached = Rewriter::getPostRewriteCache((TheoryId) rewriteStackTop.theoryId, rewriteStackTop.node);
     // If not, go through the children