diff options
Diffstat (limited to 'src/util/rational_gmp_imp.h')
-rw-r--r-- | src/util/rational_gmp_imp.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/rational_gmp_imp.h b/src/util/rational_gmp_imp.h index b3c876533..de3fcd03d 100644 --- a/src/util/rational_gmp_imp.h +++ b/src/util/rational_gmp_imp.h @@ -286,7 +286,7 @@ class CVC5_EXPORT Rational return (*this); } - bool isIntegral() const { return getDenominator() == 1; } + bool isIntegral() const { return mpz_cmp_ui(d_value.get_den_mpz_t(), 1) == 0; } /** Returns a string representing the rational in the given base. */ std::string toString(int base = 10) const { return d_value.get_str(base); } |