na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jun 2, 2021 · 6a5cdd4 · 6a5cdd4
1 parent ab3b387
commit 6a5cdd4
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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)