remove assert #7032

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 2, 2023 · 585d027 · 585d027
1 parent 331507c
commit 585d027
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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());
             }
         }
     }