summaryrefslogtreecommitdiff
path: root/libguile/numbers.h
diff options
context:
space:
mode:
Diffstat (limited to 'libguile/numbers.h')
-rw-r--r--libguile/numbers.h7
1 files changed, 5 insertions, 2 deletions
diff --git a/libguile/numbers.h b/libguile/numbers.h
index 02503ad4a..6937f9d2f 100644
--- a/libguile/numbers.h
+++ b/libguile/numbers.h
@@ -22,11 +22,14 @@
-#include <gmp.h>
-
#include "libguile/error.h"
#include "libguile/gc.h"
#include "libguile/print.h"
+#if GUILE_MINI_GMP
+#include "libguile/mini-gmp.h"
+#else
+#include <gmp.h>
+#endif