From 97fe2c86098564d65e33821eff532ff000354dcd Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 28 Apr 2020 14:49:28 -0700
Subject: [PATCH] remove an assert

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

diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index bbfa35196..c5396b2f9 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -466,7 +466,6 @@ void lar_solver::prepare_costs_for_r_solver(const lar_term & term) {
 }
 
 void lar_solver::move_non_basic_columns_to_bounds() {
-    SASSERT(get_status() == lp_status::OPTIMAL || get_status() == lp_status::FEASIBLE);
     auto & lcs = m_mpq_lar_core_solver;
     bool change = false;
     for (unsigned j : lcs.m_r_nbasis) {