From bdf1fcf5c126b64944ab8f4b28e70658700dd0df Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 2 Nov 2023 07:15:17 -0700
Subject: [PATCH] remove an assert

---
 src/math/lp/lp_primal_core_solver_tableau_def.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/lp_primal_core_solver_tableau_def.h b/src/math/lp/lp_primal_core_solver_tableau_def.h
index e557766bc..a700dbd29 100644
--- a/src/math/lp/lp_primal_core_solver_tableau_def.h
+++ b/src/math/lp/lp_primal_core_solver_tableau_def.h
@@ -53,7 +53,6 @@ template <typename T, typename X> void lp_primal_core_solver<T, X>::advance_on_e
     }
     else {
         this->m_nbasis_sort_counter--;
-        SASSERT(non_basis_is_correctly_represented_in_heading(&m_non_basis_list));
     }
     unsigned number_of_benefitial_columns_to_go_over =  get_number_of_non_basic_column_to_try_for_enter();