From 5b9fdcf46234ea241156c8450ba2c49674918444 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 15 Nov 2023 18:08:48 -0800 Subject: [PATCH] fix #6997 Signed-off-by: Nikolaj Bjorner --- src/math/lp/gomory.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/gomory.cpp b/src/math/lp/gomory.cpp index 1538ee066..c3e8651d3 100644 --- a/src/math/lp/gomory.cpp +++ b/src/math/lp/gomory.cpp @@ -316,7 +316,7 @@ public: lar_term t = lia.lra.unfold_nested_subterms(m_t); auto pol = t.coeffs_as_vector(); m_t.clear(); - if (pol.size() == 1) { + if (pol.size() == 1 && is_int(pol[0].second)) { TRACE("gomory_cut_detail", tout << "pol.size() is 1" << std::endl;); auto const& [a, v] = pol[0]; lp_assert(is_int(v));