diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-10-22 20:27:14 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-23 01:27:14 +0000 |
| commit | f493ea93e925e3ad9bfe0036e1d876d5600d5b30 (patch) | |
| tree | 01a8c14aacea391360edd91fbac82d14be2e33ec | |
| parent | 6d10b46e05d0eb0d50aefebc1bd307456325cdfc (diff) | |
Remove spurious assertoin (#7458)
Fixes #7439. That benchmark is now "unknown".
| -rw-r--r-- | src/theory/quantifiers/entailment_check.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/quantifiers/entailment_check.cpp b/src/theory/quantifiers/entailment_check.cpp index 543414a4e..bdbad9405 100644 --- a/src/theory/quantifiers/entailment_check.cpp +++ b/src/theory/quantifiers/entailment_check.cpp @@ -60,7 +60,6 @@ Node EntailmentCheck::evaluateTerm2(TNode n, { if (!subsRep) { - Assert(d_qstate.hasTerm(it->second)); ret = d_qstate.getRepresentative(it->second); } else |