diff options
Diffstat (limited to 'src/theory/sets/theory_sets.cpp')
-rw-r--r-- | src/theory/sets/theory_sets.cpp | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/theory/sets/theory_sets.cpp b/src/theory/sets/theory_sets.cpp index 162ebb757..188523a10 100644 --- a/src/theory/sets/theory_sets.cpp +++ b/src/theory/sets/theory_sets.cpp @@ -28,10 +28,16 @@ TheorySets::TheorySets(context::Context* c, const LogicInfo& logicInfo) : Theory(THEORY_SETS, c, u, out, valuation, logicInfo), d_internal(new TheorySetsPrivate(*this, c, u)) -{} +{ + // Do not move me to the header. + // The constructor + destructor are not in the header as d_internal is a + // unique_ptr<TheorySetsPrivate> and TheorySetsPrivate is an opaque type in + // the header (Pimpl). See https://herbsutter.com/gotw/_100/ . +} -TheorySets::~TheorySets() { - delete d_internal; +TheorySets::~TheorySets() +{ + // Do not move me to the header. See explanation in the constructor. } void TheorySets::addSharedTerm(TNode n) { |