diff --git a/src/opt/maxlex.cpp b/src/opt/maxlex.cpp
index 56dbfebf5..0507b0994 100644
--- a/src/opt/maxlex.cpp
+++ b/src/opt/maxlex.cpp
@@ -143,7 +143,7 @@ namespace opt {
                 switch (is_sat) {
                 case l_true:
                     update_assignment();
-                    SASSERT(soft.value == l_true);
+                    SASSERT(soft.value == l_true || m.canceled());
                     break;
                 case l_false:
                     soft.set_value(l_false);