From 44d75da7a538cc32e218db8e65e6f1472614e053 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 19 Nov 2024 11:58:49 -0800
Subject: [PATCH] remove an assert

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/dioph_eq.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index 286dee67c..68ef62fc7 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -1100,7 +1100,6 @@ namespace lp {
             SASSERT(ret == lia_move::undef);
             ret = branching_on_undef();
             if (ret == lia_move::sat || ret == lia_move::conflict) {
-                SASSERT(lra.settings().get_cancel_flag() == false);
                 return ret;
             }
             SASSERT(ret == lia_move::undef);