diff options
| -rw-r--r-- | libraries/integer-gmp/cbits/wrappers.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/integer-gmp/cbits/wrappers.c b/libraries/integer-gmp/cbits/wrappers.c index 2b5db34f46..10f5827ac7 100644 --- a/libraries/integer-gmp/cbits/wrappers.c +++ b/libraries/integer-gmp/cbits/wrappers.c @@ -22,7 +22,7 @@ #include <float.h> #include <stdio.h> -#include <gmp.h> +#include "ghc-gmp.h" // GMP 4.x compatibility |