Include just gmp-impl.h, make gmp-impl.h grab gmp.h.

63 files changed, 0 insertions, 63 deletions

diff --git a/mpf/abs.c b/mpf/abs.c
index a2bde2a4f..1642a4672 100644
--- a/mpf/abs.c
+++ b/mpf/abs.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/add.c b/mpf/add.c
index d2a5c097c..77a9e476f 100644
--- a/mpf/add.c
+++ b/mpf/add.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/add_ui.c b/mpf/add_ui.c
index b1e57d04c..1e2a94b11 100644
--- a/mpf/add_ui.c
+++ b/mpf/add_ui.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/ceilfloor.c b/mpf/ceilfloor.c
index 302e2b8ae..9bb663866 100644
--- a/mpf/ceilfloor.c
+++ b/mpf/ceilfloor.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/clear.c b/mpf/clear.c
index 9ff2dd336..0939e03a4 100644
--- a/mpf/clear.c
+++ b/mpf/clear.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/clears.c b/mpf/clears.c
index 17eca8208..115fa199f 100644
--- a/mpf/clears.c
+++ b/mpf/clears.c
@@ -29,7 +29,6 @@ GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
 #include <stdarg.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/cmp.c b/mpf/cmp.c
index 0c0667218..3518b5181 100644
--- a/mpf/cmp.c
+++ b/mpf/cmp.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 int
diff --git a/mpf/cmp_d.c b/mpf/cmp_d.c
index 52893a781..3fa099bf8 100644
--- a/mpf/cmp_d.c
+++ b/mpf/cmp_d.c
@@ -34,7 +34,6 @@ see https://www.gnu.org/licenses/.  */
 #include <float.h>  /* for DBL_MAX */
 #endif
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 int
diff --git a/mpf/cmp_si.c b/mpf/cmp_si.c
index 3bf98211d..d8d98800b 100644
--- a/mpf/cmp_si.c
+++ b/mpf/cmp_si.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 int
diff --git a/mpf/cmp_ui.c b/mpf/cmp_ui.c
index 198eb21e5..a9a60365a 100644
--- a/mpf/cmp_ui.c
+++ b/mpf/cmp_ui.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 int
diff --git a/mpf/cmp_z.c b/mpf/cmp_z.c
index e9c1559d6..3c4510ff4 100644
--- a/mpf/cmp_z.c
+++ b/mpf/cmp_z.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 int
diff --git a/mpf/div.c b/mpf/div.c
index af38cb869..d13af7566 100644
--- a/mpf/div.c
+++ b/mpf/div.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/div_2exp.c b/mpf/div_2exp.c
index fef815205..ad552c115 100644
--- a/mpf/div_2exp.c
+++ b/mpf/div_2exp.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/div_ui.c b/mpf/div_ui.c
index 9be7e680b..e1b0112ba 100644
--- a/mpf/div_ui.c
+++ b/mpf/div_ui.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"
 
diff --git a/mpf/dump.c b/mpf/dump.c
index af6710592..cd37dabe6 100644
--- a/mpf/dump.c
+++ b/mpf/dump.c
@@ -35,7 +35,6 @@ see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <string.h> /* for strlen */
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/eq.c b/mpf/eq.c
index 30c6befd0..cddb9d508 100644
--- a/mpf/eq.c
+++ b/mpf/eq.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"
 
diff --git a/mpf/fits_s.h b/mpf/fits_s.h
index 25f323e25..f0d6f9ee7 100644
--- a/mpf/fits_s.h
+++ b/mpf/fits_s.h
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/fits_u.h b/mpf/fits_u.h
index be7a271b2..bd7ca782d 100644
--- a/mpf/fits_u.h
+++ b/mpf/fits_u.h
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/get_d.c b/mpf/get_d.c
index 8f6f9bbea..34826fb7d 100644
--- a/mpf/get_d.c
+++ b/mpf/get_d.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 double
diff --git a/mpf/get_d_2exp.c b/mpf/get_d_2exp.c
index 17ce229f2..2bc2248ce 100644
--- a/mpf/get_d_2exp.c
+++ b/mpf/get_d_2exp.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"
 
diff --git a/mpf/get_dfl_prec.c b/mpf/get_dfl_prec.c
index 9a773d83a..13fc51429 100644
--- a/mpf/get_dfl_prec.c
+++ b/mpf/get_dfl_prec.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/get_prc.c b/mpf/get_prc.c
index 3b3283a48..8dee99ec8 100644
--- a/mpf/get_prc.c
+++ b/mpf/get_prc.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 mp_bitcnt_t
diff --git a/mpf/get_si.c b/mpf/get_si.c
index 5b63dbd42..6ac4d44b4 100644
--- a/mpf/get_si.c
+++ b/mpf/get_si.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/get_str.c b/mpf/get_str.c
index 0bfd99fe4..9a731334a 100644
--- a/mpf/get_str.c
+++ b/mpf/get_str.c
@@ -34,7 +34,6 @@ GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
 #include <stdlib.h>		/* for NULL */
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"		/* for count_leading_zeros */
 
diff --git a/mpf/get_ui.c b/mpf/get_ui.c
index eb9b30e69..e7b933365 100644
--- a/mpf/get_ui.c
+++ b/mpf/get_ui.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/init.c b/mpf/init.c
index 0e428d3d4..26ab262f6 100644
--- a/mpf/init.c
+++ b/mpf/init.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/init2.c b/mpf/init2.c
index 72c872608..b90a08a18 100644
--- a/mpf/init2.c
+++ b/mpf/init2.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/inits.c b/mpf/inits.c
index ddcf1141a..b6d054fc1 100644
--- a/mpf/inits.c
+++ b/mpf/inits.c
@@ -29,7 +29,6 @@ GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
 #include <stdarg.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/inp_str.c b/mpf/inp_str.c
index 3db589705..c661a792b 100644
--- a/mpf/inp_str.c
+++ b/mpf/inp_str.c
@@ -31,7 +31,6 @@ see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <ctype.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 
 size_t
diff --git a/mpf/int_p.c b/mpf/int_p.c
index e0e337d2f..024cfb5ea 100644
--- a/mpf/int_p.c
+++ b/mpf/int_p.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/iset.c b/mpf/iset.c
index 246f36748..07f900671 100644
--- a/mpf/iset.c
+++ b/mpf/iset.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/iset_d.c b/mpf/iset_d.c
index e3492e361..2f36240f6 100644
--- a/mpf/iset_d.c
+++ b/mpf/iset_d.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/iset_si.c b/mpf/iset_si.c
index 179f80c91..65abb9a45 100644
--- a/mpf/iset_si.c
+++ b/mpf/iset_si.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/iset_str.c b/mpf/iset_str.c
index 5cb429176..10acda916 100644
--- a/mpf/iset_str.c
+++ b/mpf/iset_str.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 int
diff --git a/mpf/iset_ui.c b/mpf/iset_ui.c
index 3f48cbd68..2c426bf56 100644
--- a/mpf/iset_ui.c
+++ b/mpf/iset_ui.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/mul.c b/mpf/mul.c
index 5bde28c4b..b36358ce2 100644
--- a/mpf/mul.c
+++ b/mpf/mul.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/mul_2exp.c b/mpf/mul_2exp.c
index 83df2176d..5de73633b 100644
--- a/mpf/mul_2exp.c
+++ b/mpf/mul_2exp.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/mul_ui.c b/mpf/mul_ui.c
index 031b2fe06..30da6ae50 100644
--- a/mpf/mul_ui.c
+++ b/mpf/mul_ui.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"
 
diff --git a/mpf/neg.c b/mpf/neg.c
index 553018f30..d294815ce 100644
--- a/mpf/neg.c
+++ b/mpf/neg.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/out_str.c b/mpf/out_str.c
index 200da7480..1802d0fd2 100644
--- a/mpf/out_str.c
+++ b/mpf/out_str.c
@@ -45,7 +45,6 @@ see https://www.gnu.org/licenses/.  */
 #include <locale.h>    /* for localeconv */
 #endif
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"
 
diff --git a/mpf/pow_ui.c b/mpf/pow_ui.c
index 6d0528bed..8d54dc06d 100644
--- a/mpf/pow_ui.c
+++ b/mpf/pow_ui.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"
 
diff --git a/mpf/random2.c b/mpf/random2.c
index 4d7f37e97..2e0163c57 100644
--- a/mpf/random2.c
+++ b/mpf/random2.c
@@ -30,7 +30,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/reldiff.c b/mpf/reldiff.c
index f49da0816..81f05dd9e 100644
--- a/mpf/reldiff.c
+++ b/mpf/reldiff.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/set.c b/mpf/set.c
index ec8161d77..382fe86e4 100644
--- a/mpf/set.c
+++ b/mpf/set.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/set_d.c b/mpf/set_d.c
index 100194d11..0442f2f88 100644
--- a/mpf/set_d.c
+++ b/mpf/set_d.c
@@ -34,7 +34,6 @@ see https://www.gnu.org/licenses/.  */
 #include <float.h>  /* for DBL_MAX */
 #endif
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/set_dfl_prec.c b/mpf/set_dfl_prec.c
index 04c9a5513..9be71c044 100644
--- a/mpf/set_dfl_prec.c
+++ b/mpf/set_dfl_prec.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 mp_size_t __gmp_default_fp_limb_precision = __GMPF_BITS_TO_PREC (53);
diff --git a/mpf/set_prc.c b/mpf/set_prc.c
index 30ba06c6e..40c3f0ebe 100644
--- a/mpf/set_prc.c
+++ b/mpf/set_prc.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/set_prc_raw.c b/mpf/set_prc_raw.c
index 779944229..e5c52cc29 100644
--- a/mpf/set_prc_raw.c
+++ b/mpf/set_prc_raw.c
@@ -30,7 +30,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/set_q.c b/mpf/set_q.c
index dbe8818b0..b0b7fe309 100644
--- a/mpf/set_q.c
+++ b/mpf/set_q.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/set_si.c b/mpf/set_si.c
index 9c47c7511..23f713da7 100644
--- a/mpf/set_si.c
+++ b/mpf/set_si.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/set_str.c b/mpf/set_str.c
index 9053accad..3aa4ae452 100644
--- a/mpf/set_str.c
+++ b/mpf/set_str.c
@@ -54,7 +54,6 @@ see https://www.gnu.org/licenses/.  */
 #include <locale.h>    /* for localeconv */
 #endif
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"
 
diff --git a/mpf/set_ui.c b/mpf/set_ui.c
index 617bce13c..bd4ba26b6 100644
--- a/mpf/set_ui.c
+++ b/mpf/set_ui.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/set_z.c b/mpf/set_z.c
index fe9190456..f76263342 100644
--- a/mpf/set_z.c
+++ b/mpf/set_z.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/size.c b/mpf/size.c
index c6b22b64c..f7a9dbd7e 100644
--- a/mpf/size.c
+++ b/mpf/size.c
@@ -29,7 +29,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 size_t
diff --git a/mpf/sqrt.c b/mpf/sqrt.c
index 44502244e..ffb7c10b9 100644
--- a/mpf/sqrt.c
+++ b/mpf/sqrt.c
@@ -30,7 +30,6 @@ GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h> /* for NULL */
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/sqrt_ui.c b/mpf/sqrt_ui.c
index f390e2425..9f91f9974 100644
--- a/mpf/sqrt_ui.c
+++ b/mpf/sqrt_ui.c
@@ -30,7 +30,6 @@ GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h> /* for NULL */
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/sub.c b/mpf/sub.c
index 5fb9ab60c..56f26f6d3 100644
--- a/mpf/sub.c
+++ b/mpf/sub.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/sub_ui.c b/mpf/sub_ui.c
index cf9b88eb0..a23d2a884 100644
--- a/mpf/sub_ui.c
+++ b/mpf/sub_ui.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/swap.c b/mpf/swap.c
index a37065287..80b2e9b8b 100644
--- a/mpf/swap.c
+++ b/mpf/swap.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/trunc.c b/mpf/trunc.c
index 5f94f7aec..e9af4a70c 100644
--- a/mpf/trunc.c
+++ b/mpf/trunc.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 
diff --git a/mpf/ui_div.c b/mpf/ui_div.c
index ceb881ebc..d228bd44a 100644
--- a/mpf/ui_div.c
+++ b/mpf/ui_div.c
@@ -29,7 +29,6 @@ GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>  /* for NULL */
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"
 
diff --git a/mpf/ui_sub.c b/mpf/ui_sub.c
index 710502466..58da56b47 100644
--- a/mpf/ui_sub.c
+++ b/mpf/ui_sub.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void
diff --git a/mpf/urandomb.c b/mpf/urandomb.c
index 72271e876..ebe85ab69 100644
--- a/mpf/urandomb.c
+++ b/mpf/urandomb.c
@@ -31,7 +31,6 @@ You should have received copies of the GNU General Public License and the
 GNU Lesser General Public License along with the GNU MP Library.  If not,
 see https://www.gnu.org/licenses/.  */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 void