From: Tim King <taking@cs.nyu.edu>
Date: Tue, 7 Nov 2017 07:18:29 +0000 (-0800)
Subject: Initializing NegContainsSygusInvarianceTest::d_cpbe in constructor. (#1328)
X-Git-Tag: cvc5-1.0.0~5505
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=10278e9ec588286705468d72d04bbf03513b3c88;p=cvc5.git

Initializing NegContainsSygusInvarianceTest::d_cpbe in constructor. (#1328)
---

diff --git a/src/theory/quantifiers/ce_guided_pbe.cpp b/src/theory/quantifiers/ce_guided_pbe.cpp
index cadfbbe86..81e2f9708 100644
--- a/src/theory/quantifiers/ce_guided_pbe.cpp
+++ b/src/theory/quantifiers/ce_guided_pbe.cpp
@@ -1024,8 +1024,9 @@ void CegConjecturePbe::addEnumeratedValue( Node x, Node v, std::vector< Node >&
 */
 class NegContainsSygusInvarianceTest : public quantifiers::SygusInvarianceTest {
 public:
-  NegContainsSygusInvarianceTest(){}
+  NegContainsSygusInvarianceTest() : d_cpbe(nullptr){}
   ~NegContainsSygusInvarianceTest(){}
+
   /** initialize this invariance test
   *  cpbe is the conjecture utility.
   *  e is the enumerator which we are reasoning about (associated with a synth