From e9e950062aa48e65cf23c40baf09df756294fb96 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Thu, 1 Aug 2019 14:09:26 -0700 Subject: [PATCH] fix the build Signed-off-by: Lev Nachmanson --- src/test/lp/gomory_test.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/test/lp/gomory_test.h b/src/test/lp/gomory_test.h index 972466dc3..0ac55406c 100644 --- a/src/test/lp/gomory_test.h +++ b/src/test/lp/gomory_test.h @@ -86,7 +86,7 @@ struct gomory_test { } void int_case_in_gomory_cut(const mpq & a, unsigned x_j, mpq & k, lar_term & t, explanation& expl, mpq & lcm_den, const mpq& f_0, const mpq& one_minus_f_0) { - lp_assert(is_int(x_j)); + lp_assert(is_integer(x_j)); lp_assert(!a.is_int()); lp_assert(f_0 > zero_of_type() && f_0 < one_of_type()); mpq f_j = fractional_part(a); @@ -138,7 +138,7 @@ struct gomory_test { if (pol.size() == 1) { TRACE("gomory_cut_detail", tout << "pol.size() is 1" << std::endl;); unsigned v = pol[0].second; - lp_assert(is_int(v)); + lp_assert(is_integer(v)); const mpq& a = pol[0].first; k /= a; if (a.is_pos()) { // we have av >= k @@ -165,7 +165,7 @@ struct gomory_test { // normalize coefficients of integer parameters to be integers. for (auto & pi: pol) { pi.first *= lcm_den; - SASSERT(!is_int(pi.second) || pi.first.is_int()); + SASSERT(!is_integer(pi.second) || pi.first.is_int()); } k *= lcm_den; }