diff --git a/src/opt/maxlex.cpp b/src/opt/maxlex.cpp
index 5ef028d44..0582037cb 100644
--- a/src/opt/maxlex.cpp
+++ b/src/opt/maxlex.cpp
@@ -131,7 +131,14 @@ namespace opt {
             }
             model_ref mdl;
             s().get_model(mdl);
-            if (mdl) update_assignment(mdl);           
+            if (mdl) {
+                for (auto & soft : m_soft) {
+                    if (!mdl->is_true(soft.s)) {
+                        break;
+                    }
+                    soft.set_value(l_true);
+                }
+            }
         }
 
         //