From b25c979f6db06a4aad82f0e18fc8432f85707347 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Fri, 25 May 2018 16:19:58 -0500
Subject: Reenable repair const (#1983)

---
 src/theory/quantifiers/sygus/cegis.cpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/theory/quantifiers/sygus/cegis.cpp')

diff --git a/src/theory/quantifiers/sygus/cegis.cpp b/src/theory/quantifiers/sygus/cegis.cpp
index 92ed41f3d..ee54c3296 100644
--- a/src/theory/quantifiers/sygus/cegis.cpp
+++ b/src/theory/quantifiers/sygus/cegis.cpp
@@ -397,6 +397,8 @@ void Cegis::registerRefinementLemma(const std::vector<Node>& vars,
   lems.push_back(rlem);
 }
 
+bool Cegis::usingRepairConst() { return d_using_gr_repair; }
+
 void Cegis::getRefinementEvalLemmas(const std::vector<Node>& vs,
                                     const std::vector<Node>& ms,
                                     std::vector<Node>& lems)
-- 
cgit v1.2.3