diff options
Diffstat (limited to 'src/theory/sets/theory_sets.cpp')
-rw-r--r-- | src/theory/sets/theory_sets.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/sets/theory_sets.cpp b/src/theory/sets/theory_sets.cpp index 0b9e6d934..f4b265d98 100644 --- a/src/theory/sets/theory_sets.cpp +++ b/src/theory/sets/theory_sets.cpp @@ -46,9 +46,9 @@ TheorySets::~TheorySets() // Do not move me to the header. See explanation in the constructor. } -std::unique_ptr<TheoryRewriter> TheorySets::mkTheoryRewriter() +TheoryRewriter* TheorySets::getTheoryRewriter() { - return std::unique_ptr<TheoryRewriter>(new TheorySetsRewriter()); + return d_internal->getTheoryRewriter(); } void TheorySets::finishInit() |