From 4728a1fb0c77f49e406c0f76ce73a8692402ec0c Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 28 May 2020 13:19:16 -0700
Subject: [PATCH] fix in cautious remove_basis

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/lar_solver.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/math/lp/lar_solver.h b/src/math/lp/lar_solver.h
index fc0ddef45..73189de79 100644
--- a/src/math/lp/lar_solver.h
+++ b/src/math/lp/lar_solver.h
@@ -362,7 +362,8 @@ public:
                       const ChangeReport& change_report) {
         if (is_base(j)) {
             TRACE("nla_solver", get_int_solver()->display_row_info(tout, row_of_basic_column(j)) << "\n";);
-            remove_from_basis(j, val);
+            if (!remove_from_basis(j, val))
+                return false;
         }
 
         impq ival(val);