diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-07-20 22:34:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-20 22:34:18 +0200 |
| commit | 7c26406e8f2952197037b152272988f2ec1e3ad1 (patch) | |
| tree | 9a7d35eaa94caeed4a530250226905243ba8f3e4 /src/theory/quantifiers/sygus/cegis.cpp | |
| parent | b417642a83d1c4ebf6d2ba4182a95cdeec39e4d8 (diff) | |
sygusComp2018: minor changes to repair constant utility (#2110)
Diffstat (limited to 'src/theory/quantifiers/sygus/cegis.cpp')
| -rw-r--r-- | src/theory/quantifiers/sygus/cegis.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/sygus/cegis.cpp b/src/theory/quantifiers/sygus/cegis.cpp index a678f1e79..37ee01370 100644 --- a/src/theory/quantifiers/sygus/cegis.cpp +++ b/src/theory/quantifiers/sygus/cegis.cpp @@ -397,7 +397,7 @@ void Cegis::registerRefinementLemma(const std::vector<Node>& vars, lems.push_back(rlem); } -bool Cegis::usingRepairConst() { return d_using_gr_repair; } +bool Cegis::usingRepairConst() { return true; } void Cegis::getRefinementEvalLemmas(const std::vector<Node>& vs, const std::vector<Node>& ms, |