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 cadfbbe868747954d1802a557ed74bd1aad59589..81e2f9708ec8b80d51024c071843b7a2fb57beb0 100644 (file)
--- 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