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 void lp_primal_core_solver::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();