diff options
Diffstat (limited to 'src/theory/sep/theory_sep.cpp')
| -rw-r--r-- | src/theory/sep/theory_sep.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/theory/sep/theory_sep.cpp b/src/theory/sep/theory_sep.cpp index 1d0ad904c..d90be94f9 100644 --- a/src/theory/sep/theory_sep.cpp +++ b/src/theory/sep/theory_sep.cpp @@ -65,11 +65,6 @@ TheorySep::~TheorySep() { } } -std::unique_ptr<TheoryRewriter> TheorySep::mkTheoryRewriter() -{ - return std::unique_ptr<TheoryRewriter>(new TheorySepRewriter()); -} - void TheorySep::setMasterEqualityEngine(eq::EqualityEngine* eq) { d_equalityEngine.setMasterEqualityEngine(eq); } |