From 5c61887222630583b48bd26fc914d166f122c252 Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Mon, 28 May 2012 16:27:50 +0000 Subject: Added some BV rewrites, fixed bugs in array theory, made ite simp work with BV --- src/theory/rewriter.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/theory/rewriter.cpp') diff --git a/src/theory/rewriter.cpp b/src/theory/rewriter.cpp index 4f9075f52..9e69738d3 100644 --- a/src/theory/rewriter.cpp +++ b/src/theory/rewriter.cpp @@ -49,7 +49,7 @@ struct RewriteStackElement { /** * Construct a fresh stack element. */ - RewriteStackElement(Node node, TheoryId theoryId) : + RewriteStackElement(TNode node, TheoryId theoryId) : node(node), original(node), theoryId(theoryId), @@ -58,7 +58,7 @@ struct RewriteStackElement { } }; -Node Rewriter::rewrite(Node node) { +Node Rewriter::rewrite(TNode node) { return rewriteTo(theory::Theory::theoryOf(node), node); } -- cgit v1.2.3