From d95ac58bada89101bf2765f9631f9b982cc7a5aa Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 28 May 2017 12:09:35 -0700 Subject: [PATCH] remove throw in reason-unknown #1043 Signed-off-by: Nikolaj Bjorner --- src/cmd_context/cmd_context.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp index 36afeb87d..9ef48ed30 100644 --- a/src/cmd_context/cmd_context.cpp +++ b/src/cmd_context/cmd_context.cpp @@ -638,7 +638,7 @@ bool cmd_context::set_logic(symbol const & s) { std::string cmd_context::reason_unknown() const { if (m_check_sat_result.get() == 0) - throw cmd_exception("state of the most recent check-sat command is not known"); + return "state of the most recent check-sat command is not known"; return m_check_sat_result->reason_unknown(); }