diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-30 22:22:24 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-30 22:22:24 -0600 |
| commit | 6489cf590b441aeb5e1bdf9800c9718d06842149 (patch) | |
| tree | 98eaa6adb49fea33593a770d37d2e89cc7c15bbb /src/theory | |
| parent | acdffc72bd559fa4b64da2ee2b3373208354e7a1 (diff) | |
More fixes for quantifier elimination (#5533)
Fixes #5506, fixes #5507.
Diffstat (limited to 'src/theory')
| -rw-r--r-- | src/theory/quantifiers_engine.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/quantifiers_engine.cpp b/src/theory/quantifiers_engine.cpp index 297f11690..da9fdd022 100644 --- a/src/theory/quantifiers_engine.cpp +++ b/src/theory/quantifiers_engine.cpp @@ -336,6 +336,8 @@ bool QuantifiersEngine::getBoundElements(RepSetIterator* rsi, void QuantifiersEngine::presolve() { Trace("quant-engine-proc") << "QuantifiersEngine : presolve " << std::endl; + d_lemmas_waiting.clear(); + d_phase_req_waiting.clear(); for( unsigned i=0; i<d_modules.size(); i++ ){ d_modules[i]->presolve(); } |