From fb9cfa83a7fae2ba5afdb4d0666446f44593f1fa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Tue, 26 Apr 2011 00:03:44 +0200
Subject: [PATCH] Remove the `sizeof (mpz_t)' check.

* libguile/numbers.c: Remove `sizeof (mpz_t)' check, which wasn't need
  anymore since `make_bignum' doesn't make any such assumption.
---
 libguile/numbers.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/libguile/numbers.c b/libguile/numbers.c
index 742f4d1fe..fe510a195 100644
--- a/libguile/numbers.c
+++ b/libguile/numbers.c
@@ -70,9 +70,6 @@
 
 #include "libguile/eq.h"
 
-/* GMP's `mpz_t' must fit into a double cell.  */
-verify (sizeof (mpz_t) <= (2 * sizeof (scm_t_bits)));
-
 /* values per glibc, if not already defined */
 #ifndef M_LOG10E
 #define M_LOG10E   0.43429448190325182765