From 761de366d9a2d75454b0923c89411e21fea561e7 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 16 Sep 2019 12:03:58 -0500 Subject: [PATCH] Initialize fields in sets inference manager (#3289) --- src/theory/sets/inference_manager.cpp | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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); -- 2.30.2