fix #4232

Z3Prover · May 7, 2020 · fc6bdb9 · fc6bdb9
1 parent aa3749f
commit fc6bdb9
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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);