From 970eb62a87cefbd0449e914dcd60ac9c0580aa7f Mon Sep 17 00:00:00 2001 From: Tim King Date: Sun, 1 Oct 2017 19:12:12 -0700 Subject: [PATCH] CID 1457268: Initializing CegConjecture::d_syntax_guided to false. (#1181) --- src/theory/quantifiers/ce_guided_conjecture.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/theory/quantifiers/ce_guided_conjecture.cpp b/src/theory/quantifiers/ce_guided_conjecture.cpp index fbf08e909..e53a95a2b 100644 --- a/src/theory/quantifiers/ce_guided_conjecture.cpp +++ b/src/theory/quantifiers/ce_guided_conjecture.cpp @@ -41,11 +41,11 @@ void collectDisjuncts( Node n, std::vector< Node >& d ) { } } -CegConjecture::CegConjecture( QuantifiersEngine * qe ) - : d_qe( qe ) { +CegConjecture::CegConjecture(QuantifiersEngine* qe) + : d_qe(qe), d_syntax_guided(false) { d_refine_count = 0; - d_ceg_si = new CegConjectureSingleInv( qe, this ); - d_ceg_pbe = new CegConjecturePbe( qe, this ); + d_ceg_si = new CegConjectureSingleInv(qe, this); + d_ceg_pbe = new CegConjecturePbe(qe, this); } CegConjecture::~CegConjecture() { -- 2.30.2