diff options
Diffstat (limited to 'src/theory/rewriter.cpp')
| -rw-r--r-- | src/theory/rewriter.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/rewriter.cpp b/src/theory/rewriter.cpp index d02069fd8..bcd095265 100644 --- a/src/theory/rewriter.cpp +++ b/src/theory/rewriter.cpp @@ -141,8 +141,7 @@ Node Rewriter::rewriteEqualityExt(TNode node) { Assert(node.getKind() == kind::EQUAL); // note we don't force caching of this method currently - return getInstance()->d_theoryRewriters[theoryOf(node)]->rewriteEqualityExt( - node); + return d_theoryRewriters[theoryOf(node)]->rewriteEqualityExt(node); } void Rewriter::registerTheoryRewriter(theory::TheoryId tid, |