diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-27 14:40:06 -0500 |
|---|---|---|
| committer | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2018-09-27 14:40:06 -0500 |
| commit | 4a9e21371a5012285114126cab1dbce18fdcec6c (patch) | |
| tree | 05f117383ca05ec952302ff07c4e7f22f92b558a | |
| parent | a6cc1d8ebff497392533bbb16782bda6351648df (diff) | |
Remove assertion. (#2549)
| -rw-r--r-- | src/theory/quantifiers/sygus/synth_conjecture.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/quantifiers/sygus/synth_conjecture.cpp b/src/theory/quantifiers/sygus/synth_conjecture.cpp index dea67b7c3..99f1131fe 100644 --- a/src/theory/quantifiers/sygus/synth_conjecture.cpp +++ b/src/theory/quantifiers/sygus/synth_conjecture.cpp @@ -639,7 +639,6 @@ bool SynthConjecture::getEnumeratedValues(std::vector<Node>& n, Node SynthConjecture::getEnumeratedValue(Node e) { - Assert(d_tds->isEnumerator(e)); if (e.getAttribute(SygusSymBreakExcAttribute())) { // if the current model value of e was excluded by symmetry breaking, then |