diff options
-rw-r--r-- | libguile/init.c | 7 | ||||
-rw-r--r-- | libguile/numbers.c | 5 |
2 files changed, 5 insertions, 7 deletions
diff --git a/libguile/init.c b/libguile/init.c index 874184615..94de5c90a 100644 --- a/libguile/init.c +++ b/libguile/init.c @@ -381,13 +381,6 @@ scm_i_init_guile (void *base) if (scm_initialized_p) return; - if (sizeof (mpz_t) > (3 * sizeof (scm_t_bits))) - { - fprintf (stderr, - "GMP's mpz_t must fit into a double_cell," - "but doesn't seem to here.\n"); - } - scm_storage_prehistory (); scm_threads_prehistory (base); /* requires storage_prehistory */ scm_weaks_prehistory (); /* requires storage_prehistory */ diff --git a/libguile/numbers.c b/libguile/numbers.c index 74753812b..742f4d1fe 100644 --- a/libguile/numbers.c +++ b/libguile/numbers.c @@ -45,6 +45,8 @@ # include <config.h> #endif +#include <verify.h> + #include <math.h> #include <string.h> #include <unicase.h> @@ -68,6 +70,9 @@ #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 |