From b403b96d380b0e77dd670c54fd1d5d7b72b48608 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sat, 7 Mar 2020 08:50:50 -0800
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 175a6965b..47e10d488 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -2184,7 +2184,6 @@ void lar_solver::round_to_integer_solution() {
         impq& v =  m_mpq_lar_core_solver.m_r_x[j];
         if (v.is_int())
             continue;
-        SASSERT(is_base(j));
         TRACE("cube", m_int_solver->display_column(tout, j););
         impq flv = impq(floor(v));
         auto del = flv - v; // del is negative