diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2018-09-10 22:20:42 -0500 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-10 22:20:42 -0500 |
| commit | 945da3af1ea94aeabcd8f39b23a8741c6e41c358 (patch) | |
| tree | e2d63ed4c6b7a540c3acb38ba97e04c105720a5a /src/theory/quantifiers | |
| parent | 0d997c9351fa1acf0f950c9094fd3e8945d9acf3 (diff) | |
fix (#2446)
Diffstat (limited to 'src/theory/quantifiers')
| -rw-r--r-- | src/theory/quantifiers/sygus/sygus_repair_const.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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; |