From e84ddb0d9a9f52bb4b5cfbdb5acde4c81ae8e071 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 2 Jan 2022 11:33:21 -0800
Subject: [PATCH] more #5746

---
 src/api/api_solver.cpp          | 5 +----
 src/solver/check_sat_result.cpp | 4 +++-
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/src/api/api_solver.cpp b/src/api/api_solver.cpp
index 43093d749..8e8360cd3 100644
--- a/src/api/api_solver.cpp
+++ b/src/api/api_solver.cpp
@@ -607,10 +607,7 @@ extern "C" {
                 return Z3_L_UNDEF;
             }
             catch (...) {
-                if (eh.caller_id() == event_handler_caller_t::UNSET_EH_CALLER)
-                    to_solver_ref(s)->set_reason_unknown("unclassified exception");
-                else
-                    to_solver_ref(s)->set_reason_unknown(eh);
+                to_solver_ref(s)->set_reason_unknown(eh);
                 to_solver(s)->set_eh(nullptr);
                 return Z3_L_UNDEF;
             }
diff --git a/src/solver/check_sat_result.cpp b/src/solver/check_sat_result.cpp
index b772f21ae..71bd24747 100644
--- a/src/solver/check_sat_result.cpp
+++ b/src/solver/check_sat_result.cpp
@@ -20,7 +20,9 @@ Notes:
 
 void check_sat_result::set_reason_unknown(event_handler& eh) {
     switch (eh.caller_id()) {
-    case UNSET_EH_CALLER: break;
+    case UNSET_EH_CALLER: 
+        set_reason_unknown("unclassifed exception");
+        break;
     case CTRL_C_EH_CALLER:
         set_reason_unknown("interrupted from keyboard");
         break;