diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-16 12:03:58 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-16 12:03:58 -0500 |
commit | 761de366d9a2d75454b0923c89411e21fea561e7 (patch) | |
tree | 062ad504e87bc75a988d2d1ae223fdb24cd7c579 /src | |
parent | 5f6bcbcebb314f0a4333161d0e69ea31b4563101 (diff) |
Initialize fields in sets inference manager (#3289)
Diffstat (limited to 'src')
-rw-r--r-- | src/theory/sets/inference_manager.cpp | 8 |
1 files changed, 7 insertions, 1 deletions
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); |