diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-06-26 12:58:25 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-26 12:58:25 -0500 |
| commit | a29329e74e79dc89bfe849d6cbd6ac6720c9e94b (patch) | |
| tree | a86863ece8354577b620fa1bc1273ccc1dc86db7 | |
| parent | 48cccffd5fac5cb5ed436ba1457b444185f267fb (diff) | |
Remove unnecessary code in register quantifier internal (#2092)
| -rw-r--r-- | src/theory/quantifiers_engine.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/quantifiers_engine.cpp b/src/theory/quantifiers_engine.cpp index 1fa3514c8..37f11f9cd 100644 --- a/src/theory/quantifiers_engine.cpp +++ b/src/theory/quantifiers_engine.cpp @@ -799,8 +799,6 @@ void QuantifiersEngine::registerQuantifierInternal(Node f) // this call Assert(d_lemmas_waiting.size() == prev_lemma_waiting); } - // TODO (#2020): remove this - Node ceBody = d_term_util->getInstConstantBody(f); Trace("quant-debug") << "...finish." << std::endl; d_quants[f] = true; AlwaysAssert(d_lemmas_waiting.size() == prev_lemma_waiting); |