From 73e9d351dc9870cc2190ba36ddcf46e22a8d9038 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 30 Jan 2018 03:21:58 -0800
Subject: [PATCH] adding initial model to updated #1463

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

diff --git a/src/opt/opt_context.cpp b/src/opt/opt_context.cpp
index 743ab20d9..a7c8c3f5b 100644
--- a/src/opt/opt_context.cpp
+++ b/src/opt/opt_context.cpp
@@ -280,6 +280,7 @@ namespace opt {
         if (is_sat != l_false) {
             s.get_model(m_model);
             s.get_labels(m_labels);
+            model_updated(m_model.get());
         }
         if (is_sat != l_true) {
             TRACE("opt", tout << m_hard_constraints << "\n";);