From 6a61e8dd5b1fc57c2e731821f4845cfa0b79c47d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 7 May 2020 10:47:46 -0700
Subject: [PATCH] fix #4234

---
 src/opt/opt_context.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/opt/opt_context.cpp b/src/opt/opt_context.cpp
index c513048fa..8423bb1b9 100644
--- a/src/opt/opt_context.cpp
+++ b/src/opt/opt_context.cpp
@@ -305,7 +305,10 @@ namespace opt {
             s.get_model(m_model);
             s.get_labels(m_labels);
             model_updated(m_model.get());
-        }
+            if (!m_model) {
+                is_sat = l_undef;
+            }
+        }        
         if (is_sat != l_true) {
             TRACE("opt", tout << m_hard_constraints << " " << asms << "\n";);            
             if (!asms.empty()) {