From 10278e9ec588286705468d72d04bbf03513b3c88 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Mon, 6 Nov 2017 23:18:29 -0800
Subject: [PATCH] Initializing NegContainsSygusInvarianceTest::d_cpbe in
 constructor. (#1328)

---
 src/theory/quantifiers/ce_guided_pbe.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.30.2