From 585d02766883de3f7087fc65d742ade814d45f8e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 2 Dec 2023 14:12:41 -0800
Subject: [PATCH] remove assert #7032

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.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 aca888d18..15d03fb86 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -1158,7 +1158,6 @@ namespace lp {
             if (!v.y.is_zero()) {
                 v = impq(v.x + delta * v.y);
                 TRACE("lar_solver_feas", tout << "x[" << j << "] = " << v << "\n";);
-                SASSERT(!column_is_int(j) || v.is_int());
             }
         }
     }