diff options
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) { |