From fd77f0c1116d0fa0a62a804217137ba15ece8b12 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 13 Oct 2021 17:16:34 -0700
Subject: [PATCH] fix #5594

---
 src/opt/maxlex.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/opt/maxlex.cpp b/src/opt/maxlex.cpp
index 9b73df8ca..a545aa92e 100644
--- a/src/opt/maxlex.cpp
+++ b/src/opt/maxlex.cpp
@@ -131,16 +131,16 @@ namespace opt {
                 soft.set_value(l_undef);
             }
             model_ref mdl;
-            s().get_model(mdl);
+            s().get_model(mdl);            
             if (mdl) {
+                TRACE("opt", tout << *mdl << "\n";);
                 for (auto & soft : m_soft) {
-                    if (!mdl->is_true(soft.s)) {
+                    if (!mdl->is_true(soft.s)) 
                         break;
-                    }
                     soft.set_value(l_true);
                     assert_value(soft);
                 }
-                update_bounds();
+                update_assignment();
             }
         }