From 6a5cdd48e79bb3b565369869241ada9cd16640da Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 1 Jun 2021 20:43:45 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/math/lp/int_gcd_test.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/math/lp/int_gcd_test.cpp b/src/math/lp/int_gcd_test.cpp index 55dedf151..8891f495f 100644 --- a/src/math/lp/int_gcd_test.cpp +++ b/src/math/lp/int_gcd_test.cpp @@ -172,7 +172,10 @@ namespace lp { return false; } - if (least_coeff_is_bounded && !m_least_coeff.is_one() && !ext_gcd_test(A.m_rows[i])) + if (least_coeff_is_bounded && + !m_least_coeff.is_one() && + !lia.get_value(basic_var).is_int() && + !ext_gcd_test(A.m_rows[i])) return false; if (!least_coeff_is_unique)