From fe31c46e11df64da6a9c4741525e09952ba016cf Mon Sep 17 00:00:00 2001
From: lianah <lianahady@gmail.com>
Date: Mon, 2 Dec 2013 19:41:56 -0500
Subject: [PATCH] fixed rewriter bug where postRewrite was not caching properly

---
 src/theory/rewriter.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.30.2