1 files changed, 0 insertions, 35 deletions
diff --git a/include/gmp.h b/include/gmp.h
deleted file mode 100644
index e6f635e8d5..0000000000
--- a/include/gmp.h
+++ /dev/null
@@ -1,35 +0,0 @@
-/* Include gmp-mparam.h first, such that definitions of _SHORT_LIMB
-   and _LONG_LONG_LIMB in it can take effect into gmp.h.  */
-#include <gmp-mparam.h>
-
-#ifndef __GMP_H__
-
-#include <stdlib/gmp.h>
-
-#include <bits/floatn.h>
-
-/* Now define the internal interfaces.  */
-extern mp_size_t __mpn_extract_double (mp_ptr res_ptr, mp_size_t size,
-				       int *expt, int *is_neg,
-				       double value);
-
-extern mp_size_t __mpn_extract_long_double (mp_ptr res_ptr, mp_size_t size,
-					    int *expt, int *is_neg,
-					    long double value);
-
-#if __HAVE_DISTINCT_FLOAT128
-extern mp_size_t __mpn_extract_float128 (mp_ptr res_ptr, mp_size_t size,
-					 int *expt, int *is_neg,
-					 _Float128 value);
-#endif
-
-extern float __mpn_construct_float (mp_srcptr frac_ptr, int expt, int sign);
-
-extern double __mpn_construct_double (mp_srcptr frac_ptr, int expt,
-				      int negative);
-
-extern long double __mpn_construct_long_double (mp_srcptr frac_ptr, int expt,
-						int sign);
-
-
-#endif