From 9a2913c2f1a22ed43ed772467ec42ba2262bee17 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Mon, 4 Nov 2019 12:23:34 -0600
Subject: Make getSynthSolution return a Bool (#3306)

---
 src/theory/theory_engine.cpp | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

(limited to 'src/theory/theory_engine.cpp')

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index 0adb592f2..d73babdc0 100644
--- a/src/theory/theory_engine.cpp
+++ b/src/theory/theory_engine.cpp
@@ -944,16 +944,14 @@ TheoryModel* TheoryEngine::getBuiltModel()
   return d_curr_model;
 }
 
-void TheoryEngine::getSynthSolutions(std::map<Node, Node>& sol_map)
+bool TheoryEngine::getSynthSolutions(std::map<Node, Node>& sol_map)
 {
   if (d_quantEngine)
   {
-    d_quantEngine->getSynthSolutions(sol_map);
-  }
-  else
-  {
-    Assert(false);
+    return d_quantEngine->getSynthSolutions(sol_map);
   }
+  // we are not in a quantified logic, there is no synthesis solution
+  return false;
 }
 
 bool TheoryEngine::presolve() {
-- 
cgit v1.2.3