diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-10-01 19:12:12 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2017-10-01 19:12:12 -0700 |
| commit | 970eb62a87cefbd0449e914dcd60ac9c0580aa7f (patch) | |
| tree | 15365c179cb423c620b2e2e03910510d921a9e96 /src | |
| parent | ed8c4f9a3dc6339b6418da4d0673e57e08e5060f (diff) | |
CID 1457268: Initializing CegConjecture::d_syntax_guided to false. (#1181)
Diffstat (limited to 'src')
| -rw-r--r-- | src/theory/quantifiers/ce_guided_conjecture.cpp | 8 |
1 files 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() { |