From 945da3af1ea94aeabcd8f39b23a8741c6e41c358 Mon Sep 17 00:00:00 2001
From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Mon, 10 Sep 2018 22:20:42 -0500
Subject: [PATCH] fix (#2446)

---
 src/theory/quantifiers/sygus/sygus_repair_const.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theory/quantifiers/sygus/sygus_repair_const.cpp b/src/theory/quantifiers/sygus/sygus_repair_const.cpp
index 89f04ffb6..fe1dc30a4 100644
--- a/src/theory/quantifiers/sygus/sygus_repair_const.cpp
+++ b/src/theory/quantifiers/sygus/sygus_repair_const.cpp
@@ -255,7 +255,7 @@ bool SygusRepairConst::repairSolution(const std::vector<Node>& candidates,
 
   Trace("cegqi-engine") << "Repairing previous solution..." << std::endl;
   // make the satisfiability query
-  bool needExport = false;
+  bool needExport = true;
   ExprManagerMapCollection varMap;
   ExprManager em(nm->getOptions());
   std::unique_ptr<SmtEngine> repcChecker;
-- 
2.30.2