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";);