diff options
Diffstat (limited to 'src/theory/quantifiers/sygus/synth_conjecture.cpp')
| -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 |