diff options
Diffstat (limited to 'src/theory/quantifiers/sygus/cegis_unif.cpp')
-rw-r--r-- | src/theory/quantifiers/sygus/cegis_unif.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/theory/quantifiers/sygus/cegis_unif.cpp b/src/theory/quantifiers/sygus/cegis_unif.cpp index 8812032ba..a76159b90 100644 --- a/src/theory/quantifiers/sygus/cegis_unif.cpp +++ b/src/theory/quantifiers/sygus/cegis_unif.cpp @@ -639,9 +639,7 @@ void CegisUnifEnumDecisionStrategy::setUpEnumerator(Node e, } Trace("cegis-unif-enum") << "* Registering new enumerator " << e << " to strategy point " << si.d_pt << "\n"; - bool useSymCons = - options::sygusGrammarConsMode() != options::SygusGrammarConsMode::SIMPLE; - d_tds->registerEnumerator(e, si.d_pt, d_parent, erole, useSymCons); + d_tds->registerEnumerator(e, si.d_pt, d_parent, erole); } void CegisUnifEnumDecisionStrategy::registerEvalPts( |