diff options
Diffstat (limited to 'src/theory/quantifiers/quant_equality_engine.h')
-rwxr-xr-x | src/theory/quantifiers/quant_equality_engine.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/quant_equality_engine.h b/src/theory/quantifiers/quant_equality_engine.h index 0de6341cb..35a328147 100755 --- a/src/theory/quantifiers/quant_equality_engine.h +++ b/src/theory/quantifiers/quant_equality_engine.h @@ -64,7 +64,7 @@ private: void eqNotifyDisequal(TNode t1, TNode t2, TNode reason); public: QuantEqualityEngine( QuantifiersEngine * qe, context::Context* c ); - ~QuantEqualityEngine(){} + virtual ~QuantEqualityEngine() throw (){} /* whether this module needs to check this round */ bool needsCheck( Theory::Effort e ); |