From 35fa24a82a1bc4a9c3abe911c77d554c0b80c2f6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 28 Aug 2019 12:31:13 -0300
Subject: [PATCH] initialize best model

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/opt/optsmt.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/opt/optsmt.cpp b/src/opt/optsmt.cpp
index aeef64a20..6df7a0acd 100644
--- a/src/opt/optsmt.cpp
+++ b/src/opt/optsmt.cpp
@@ -498,6 +498,7 @@ namespace opt {
 
     lbool optsmt::lex(unsigned obj_index, bool is_maximize) {
         TRACE("opt", tout << "optsmt:lex\n";);
+        m_context.get_base_model(m_best_model);
         solver::scoped_push _push(*m_s);
         SASSERT(obj_index < m_vars.size());
         if (is_maximize && m_optsmt_engine == symbol("farkas")) {