From fc6bdb970866280608b5ed6a6311dd9782e538c7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 7 May 2020 10:36:53 -0700
Subject: [PATCH] fix #4232

---
 src/opt/opt_pareto.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/opt/opt_pareto.cpp b/src/opt/opt_pareto.cpp
index 0b98dfd7f..90398965c 100644
--- a/src/opt/opt_pareto.cpp
+++ b/src/opt/opt_pareto.cpp
@@ -39,8 +39,9 @@ namespace opt {
                     if (!m.inc()) {
                         return l_undef;
                     }
-                    
-                    m_solver->get_labels(m_labels);
+                    if (!m_model)
+                        return l_undef;
+                    m_solver->get_labels(m_labels);                    
                     m_model->set_model_completion(true);
                     IF_VERBOSE(1,
                                model_ref mdl(m_model);