diff options
Diffstat (limited to 'src')
-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); |