CID 1457268: Initializing CegConjecture::d_syntax_guided to false. (#1181)

diff --git a/src/theory/quantifiers/ce_guided_conjecture.cpp b/src/theory/quantifiers/ce_guided_conjecture.cpp
index fbf08e90942e143657c4efdf27a372f6382e24ac..e53a95a2b3e6b6facc4ce967d7219c243eb4748e 100644 (file)
--- 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() {