diff options
Diffstat (limited to 'src/util/integer_gmp_imp.h')
| -rw-r--r-- | src/util/integer_gmp_imp.h | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/util/integer_gmp_imp.h b/src/util/integer_gmp_imp.h index 4a075b8a1..f58c0f2ff 100644 --- a/src/util/integer_gmp_imp.h +++ b/src/util/integer_gmp_imp.h @@ -186,18 +186,14 @@ public: long getLong() const { long si = d_value.get_si(); -#ifdef CVC4_ASSERTIONS // ensure there wasn't overflow - Assert(mpz_cmp_si(d_value.get_mpz_t(), si) == 0); -#endif /* CVC4_ASSERTIONS */ + AlwaysAssert(mpz_cmp_si(d_value.get_mpz_t(), si) == 0); return si; } unsigned long getUnsignedLong() const { unsigned long ui = d_value.get_ui(); -#ifdef CVC4_ASSERTIONS // ensure there wasn't overflow - Assert(mpz_cmp_ui(d_value.get_mpz_t(), ui) == 0); -#endif /* CVC4_ASSERTIONS */ + AlwaysAssert(mpz_cmp_ui(d_value.get_mpz_t(), ui) == 0); return ui; } |