From 53c7894352fe21dfc08461f6794c4a2e10b5f59c Mon Sep 17 00:00:00 2001
From: Kevin Ryde <user42@zip.com.au>
Date: Thu, 3 May 2001 01:20:17 +0200
Subject: 	* extract-dbl.c: Add ASSERT d>=0.

---
 extract-dbl.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'extract-dbl.c')

diff --git a/extract-dbl.c b/extract-dbl.c
index 1a3729bc0..983b56ef7 100644
--- a/extract-dbl.c
+++ b/extract-dbl.c
@@ -55,6 +55,8 @@ __gmp_extract_double (mp_ptr rp, double d)
      4. This lits is incomplete and misspelled.
    */
 
+  ASSERT (d >= 0.0);
+
   if (d == 0.0)
     {
       MPN_ZERO (rp, LIMBS_PER_DOUBLE);
-- 
cgit v1.2.1