diff options
author | tege <tege@gmplib.org> | 2002-12-01 02:53:35 +0100 |
---|---|---|
committer | tege <tege@gmplib.org> | 2002-12-01 02:53:35 +0100 |
commit | 80d67f4c0cbf106cb999cc2f9d1d91d837780af6 (patch) | |
tree | a2849e19f6c9ae8685974399dbbfe57032dfc40a /extract-dbl.c | |
parent | 0995cfd905c72515e85c5a802a307608d141d181 (diff) | |
download | gmp-80d67f4c0cbf106cb999cc2f9d1d91d837780af6.tar.gz |
abort => ASSERT_ALWAYS.
Diffstat (limited to 'extract-dbl.c')
-rw-r--r-- | extract-dbl.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/extract-dbl.c b/extract-dbl.c index 1a7e37b42..33cecef43 100644 --- a/extract-dbl.c +++ b/extract-dbl.c @@ -116,8 +116,7 @@ __gmp_extract_double (mp_ptr rp, double d) exp = 0; if (d >= 1.0) { - if (d * 0.5 == d) - abort (); + ASSERT_ALWAYS (d * 0.5 != d); while (d >= 32768.0) { |