From 4d30e9b411b844895a3b1446f8a60fa7ddb2a6d7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 15 Mar 2020 09:16:44 -0700
Subject: [PATCH] fix #3332

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

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