diff options
Diffstat (limited to 'libguile/numbers.h')
-rw-r--r-- | libguile/numbers.h | 7 |
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 |