Remove assertion. (#2549)

diff --git a/src/theory/quantifiers/sygus/synth_conjecture.cpp b/src/theory/quantifiers/sygus/synth_conjecture.cpp
index dea67b7c38e3d189d0ed04231c48d1577163ce53..99f1131fe92b9d8f032016eb62bf53b8976b97d2 100644 (file)
--- 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