fixed rewriter bug where postRewrite was not caching properly

diff --git a/src/theory/rewriter.cpp b/src/theory/rewriter.cpp
index 979d5d88dcb61af3062f87acb10e7262ba283cab..f9add4faceb59d9704c4e61c3721c83b7a1cb9d7 100644 (file)
--- 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