diff options
Diffstat (limited to 'libraries/integer-gmp/gmp/ghc-gmp.h')
| -rw-r--r-- | libraries/integer-gmp/gmp/ghc-gmp.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libraries/integer-gmp/gmp/ghc-gmp.h b/libraries/integer-gmp/gmp/ghc-gmp.h new file mode 100644 index 0000000000..3fdb398670 --- /dev/null +++ b/libraries/integer-gmp/gmp/ghc-gmp.h @@ -0,0 +1 @@ +#include <gmp.h> |