diff options
Diffstat (limited to 'src/theory/quantifiers/inst_strategy_cbqi.cpp')
-rw-r--r-- | src/theory/quantifiers/inst_strategy_cbqi.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/theory/quantifiers/inst_strategy_cbqi.cpp b/src/theory/quantifiers/inst_strategy_cbqi.cpp index bd2b8e78e..70dc9c4e9 100644 --- a/src/theory/quantifiers/inst_strategy_cbqi.cpp +++ b/src/theory/quantifiers/inst_strategy_cbqi.cpp @@ -48,8 +48,6 @@ d_nested_qe_waitlist_proc( qe->getUserContext() ) d_qid_count = 0; } -InstStrategyCbqi::~InstStrategyCbqi() throw(){} - bool InstStrategyCbqi::needsCheck( Theory::Effort e ) { return e>=Theory::EFFORT_LAST_CALL; } @@ -673,7 +671,8 @@ InstStrategyCegqi::InstStrategyCegqi( QuantifiersEngine * qe ) d_check_vts_lemma_lc = false; } -InstStrategyCegqi::~InstStrategyCegqi() throw () { +InstStrategyCegqi::~InstStrategyCegqi() +{ delete d_out; for(std::map< Node, CegInstantiator * >::iterator i = d_cinst.begin(), |