From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Mon, 16 Sep 2019 17:03:58 +0000 (-0500)
Subject: Initialize fields in sets inference manager (#3289)
X-Git-Tag: cvc5-1.0.0~3955
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=761de366d9a2d75454b0923c89411e21fea561e7;p=cvc5.git

Initialize fields in sets inference manager (#3289)
---

diff --git a/src/theory/sets/inference_manager.cpp b/src/theory/sets/inference_manager.cpp
index e29e574be..a2507d6cf 100644
--- a/src/theory/sets/inference_manager.cpp
+++ b/src/theory/sets/inference_manager.cpp
@@ -30,7 +30,13 @@ InferenceManager::InferenceManager(TheorySetsPrivate& p,
                                    eq::EqualityEngine& e,
                                    context::Context* c,
                                    context::UserContext* u)
-    : d_parent(p), d_state(s), d_ee(e), d_lemmas_produced(u), d_keep(c)
+    : d_parent(p),
+      d_state(s),
+      d_ee(e),
+      d_sentLemma(false),
+      d_addedFact(false),
+      d_lemmas_produced(u),
+      d_keep(c)
 {
   d_true = NodeManager::currentNM()->mkConst(true);
   d_false = NodeManager::currentNM()->mkConst(false);