Initialize fields in sets inference manager (#3289)

diff --git a/src/theory/sets/inference_manager.cpp b/src/theory/sets/inference_manager.cpp
index e29e574be3a2bea794c58883944bec5fbee397fc..a2507d6cf15385cad2bee01dea1d446e4b7f4745 100644 (file)
--- 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);