fixed rewriter bug where postRewrite was not caching properly

1 files changed, 2 insertions, 1 deletions

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