summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--libguile/init.c7
-rw-r--r--libguile/numbers.c5
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