diff options
author | Tim King <taking@cs.nyu.edu> | 2017-11-14 05:08:53 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-14 07:08:53 -0600 |
commit | 043b73406f30dd4e389c927ac6a9c76b1fbd07e4 (patch) | |
tree | 087c41005f509541cc76aac8a69d2d80b2da013d /src/theory | |
parent | afc3de987e3416e1987bc6be9aa0b0adb7fd63ab (diff) |
Initializes InstPropagator::d_has_relevant_inst. Resolves 1362891. (#1360)
* Initializes InstPropagator::d_has_relevant_inst. Resolves 1362891.
* Initializing to false explicitly.
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/quantifiers/inst_propagator.cpp | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/theory/quantifiers/inst_propagator.cpp b/src/theory/quantifiers/inst_propagator.cpp index 49de464b1..0ae7adfec 100644 --- a/src/theory/quantifiers/inst_propagator.cpp +++ b/src/theory/quantifiers/inst_propagator.cpp @@ -600,11 +600,13 @@ void InstPropagator::InstInfo::init( Node q, Node lem, std::vector< Node >& term d_curr_exp.push_back( body ); } -InstPropagator::InstPropagator( QuantifiersEngine* qe ) : -d_qe( qe ), d_notify(*this), d_qy( qe ){ - d_icount = 1; - d_conflict = false; -} +InstPropagator::InstPropagator(QuantifiersEngine* qe) + : d_qe(qe), + d_notify(*this), + d_qy(qe), + d_icount(1), + d_conflict(false), + d_has_relevant_inst(false) {} bool InstPropagator::reset( Theory::Effort e ) { d_icount = 1; |