From 043b73406f30dd4e389c927ac6a9c76b1fbd07e4 Mon Sep 17 00:00:00 2001 From: Tim King Date: Tue, 14 Nov 2017 05:08:53 -0800 Subject: [PATCH] Initializes InstPropagator::d_has_relevant_inst. Resolves 1362891. (#1360) * Initializes InstPropagator::d_has_relevant_inst. Resolves 1362891. * Initializing to false explicitly. --- src/theory/quantifiers/inst_propagator.cpp | 12 +++++++----- 1 file 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; -- 2.30.2