From: Tim King <taking@cs.nyu.edu>
Date: Mon, 2 Oct 2017 02:12:12 +0000 (-0700)
Subject: CID 1457268: Initializing CegConjecture::d_syntax_guided to false. (#1181)
X-Git-Tag: cvc5-1.0.0~5591
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=970eb62a87cefbd0449e914dcd60ac9c0580aa7f;p=cvc5.git

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 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() {