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

63 files changed, 0 insertions, 63 deletions

diff --git a/tests/mpz/bit.c b/tests/mpz/bit.c
index c42e9f0cc..cfcdeea85 100644
--- a/tests/mpz/bit.c
+++ b/tests/mpz/bit.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/convert.c b/tests/mpz/convert.c
index ada6d11a1..fdb3874b3 100644
--- a/tests/mpz/convert.c
+++ b/tests/mpz/convert.c
@@ -22,7 +22,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdlib.h>
 #include <string.h> /* for strlen */
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/dive.c b/tests/mpz/dive.c
index 7970e718a..99e8caf4c 100644
--- a/tests/mpz/dive.c
+++ b/tests/mpz/dive.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/dive_ui.c b/tests/mpz/dive_ui.c
index 6771677f1..8f74bce30 100644
--- a/tests/mpz/dive_ui.c
+++ b/tests/mpz/dive_ui.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/io.c b/tests/mpz/io.c
index 7674d69b1..892f61d61 100644
--- a/tests/mpz/io.c
+++ b/tests/mpz/io.c
@@ -25,7 +25,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <unistd.h>		/* for unlink */
 #endif
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/logic.c b/tests/mpz/logic.c
index d99cadc2b..f3b38b103 100644
--- a/tests/mpz/logic.c
+++ b/tests/mpz/logic.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/reuse.c b/tests/mpz/reuse.c
index f3e4781b2..181ee0bbe 100644
--- a/tests/mpz/reuse.c
+++ b/tests/mpz/reuse.c
@@ -28,7 +28,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <string.h>
 #include <unistd.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-addsub.c b/tests/mpz/t-addsub.c
index bf8984115..aaa318862 100644
--- a/tests/mpz/t-addsub.c
+++ b/tests/mpz/t-addsub.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"
 #include "tests.h"
diff --git a/tests/mpz/t-aorsmul.c b/tests/mpz/t-aorsmul.c
index 918725fdc..f31e75820 100644
--- a/tests/mpz/t-aorsmul.c
+++ b/tests/mpz/t-aorsmul.c
@@ -22,7 +22,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdlib.h>
 #include <string.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-bin.c b/tests/mpz/t-bin.c
index acce41df9..cdec11c82 100644
--- a/tests/mpz/t-bin.c
+++ b/tests/mpz/t-bin.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-cdiv_ui.c b/tests/mpz/t-cdiv_ui.c
index 39735a92e..91559eaec 100644
--- a/tests/mpz/t-cdiv_ui.c
+++ b/tests/mpz/t-cdiv_ui.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-cmp.c b/tests/mpz/t-cmp.c
index cf0474e7f..1ae251766 100644
--- a/tests/mpz/t-cmp.c
+++ b/tests/mpz/t-cmp.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-cmp_d.c b/tests/mpz/t-cmp_d.c
index c9877fc52..d7b9895a8 100644
--- a/tests/mpz/t-cmp_d.c
+++ b/tests/mpz/t-cmp_d.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdlib.h>
 #include <string.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-cmp_si.c b/tests/mpz/t-cmp_si.c
index 97fdbcaae..7667d3eb2 100644
--- a/tests/mpz/t-cmp_si.c
+++ b/tests/mpz/t-cmp_si.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-cong.c b/tests/mpz/t-cong.c
index 1227335ec..59d852699 100644
--- a/tests/mpz/t-cong.c
+++ b/tests/mpz/t-cong.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-cong_2exp.c b/tests/mpz/t-cong_2exp.c
index f222827e7..5ffe2d18c 100644
--- a/tests/mpz/t-cong_2exp.c
+++ b/tests/mpz/t-cong_2exp.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-div_2exp.c b/tests/mpz/t-div_2exp.c
index 1620698b1..d012aae4d 100644
--- a/tests/mpz/t-div_2exp.c
+++ b/tests/mpz/t-div_2exp.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-divis.c b/tests/mpz/t-divis.c
index fdfedc82b..f7b9bea43 100644
--- a/tests/mpz/t-divis.c
+++ b/tests/mpz/t-divis.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-divis_2exp.c b/tests/mpz/t-divis_2exp.c
index ecd7440ea..636c7511d 100644
--- a/tests/mpz/t-divis_2exp.c
+++ b/tests/mpz/t-divis_2exp.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-export.c b/tests/mpz/t-export.c
index d07476486..fa411e3be 100644
--- a/tests/mpz/t-export.c
+++ b/tests/mpz/t-export.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-fac_ui.c b/tests/mpz/t-fac_ui.c
index f45154f77..4bcc88b10 100644
--- a/tests/mpz/t-fac_ui.c
+++ b/tests/mpz/t-fac_ui.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-fdiv.c b/tests/mpz/t-fdiv.c
index a616e5b10..71503dfea 100644
--- a/tests/mpz/t-fdiv.c
+++ b/tests/mpz/t-fdiv.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-fdiv_ui.c b/tests/mpz/t-fdiv_ui.c
index 031b519f8..87620ca2c 100644
--- a/tests/mpz/t-fdiv_ui.c
+++ b/tests/mpz/t-fdiv_ui.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-fib_ui.c b/tests/mpz/t-fib_ui.c
index a7425b5b8..7ce11f1ba 100644
--- a/tests/mpz/t-fib_ui.c
+++ b/tests/mpz/t-fib_ui.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-fits.c b/tests/mpz/t-fits.c
index 6b6de3b29..681958899 100644
--- a/tests/mpz/t-fits.c
+++ b/tests/mpz/t-fits.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-gcd.c b/tests/mpz/t-gcd.c
index fef4fde0c..ffc5f9863 100644
--- a/tests/mpz/t-gcd.c
+++ b/tests/mpz/t-gcd.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-gcd_ui.c b/tests/mpz/t-gcd_ui.c
index 16f51e11b..03b63941c 100644
--- a/tests/mpz/t-gcd_ui.c
+++ b/tests/mpz/t-gcd_ui.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-get_d.c b/tests/mpz/t-get_d.c
index 4a4a93049..46e5eafb7 100644
--- a/tests/mpz/t-get_d.c
+++ b/tests/mpz/t-get_d.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-get_d_2exp.c b/tests/mpz/t-get_d_2exp.c
index 2f5555daf..04cf1a4e5 100644
--- a/tests/mpz/t-get_d_2exp.c
+++ b/tests/mpz/t-get_d_2exp.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-get_si.c b/tests/mpz/t-get_si.c
index 083ada7f1..51f104a1d 100644
--- a/tests/mpz/t-get_si.c
+++ b/tests/mpz/t-get_si.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-hamdist.c b/tests/mpz/t-hamdist.c
index f39c8ab8c..544a03f7b 100644
--- a/tests/mpz/t-hamdist.c
+++ b/tests/mpz/t-hamdist.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-import.c b/tests/mpz/t-import.c
index 8d10fdc8a..a29531798 100644
--- a/tests/mpz/t-import.c
+++ b/tests/mpz/t-import.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-inp_str.c b/tests/mpz/t-inp_str.c
index f50290bff..e686de529 100644
--- a/tests/mpz/t-inp_str.c
+++ b/tests/mpz/t-inp_str.c
@@ -26,7 +26,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <unistd.h>		/* for unlink */
 #endif
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-invert.c b/tests/mpz/t-invert.c
index a033409a2..1929c2abe 100644
--- a/tests/mpz/t-invert.c
+++ b/tests/mpz/t-invert.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-io_raw.c b/tests/mpz/t-io_raw.c
index e06e7bb14..e299b5a47 100644
--- a/tests/mpz/t-io_raw.c
+++ b/tests/mpz/t-io_raw.c
@@ -26,7 +26,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <unistd.h>
 #endif
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-jac.c b/tests/mpz/t-jac.c
index b6a0c3310..b14feba01 100644
--- a/tests/mpz/t-jac.c
+++ b/tests/mpz/t-jac.c
@@ -37,7 +37,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdlib.h>
 #include <string.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-lcm.c b/tests/mpz/t-lcm.c
index 3cc41483e..1b45212fe 100644
--- a/tests/mpz/t-lcm.c
+++ b/tests/mpz/t-lcm.c
@@ -22,7 +22,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdlib.h>
 #include <string.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-limbs.c b/tests/mpz/t-limbs.c
index 43bcfb03e..6526e929f 100644
--- a/tests/mpz/t-limbs.c
+++ b/tests/mpz/t-limbs.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdlib.h>
 #include <stdio.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-lucnum_ui.c b/tests/mpz/t-lucnum_ui.c
index 7cb734195..e0611f367 100644
--- a/tests/mpz/t-lucnum_ui.c
+++ b/tests/mpz/t-lucnum_ui.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-mfac_uiui.c b/tests/mpz/t-mfac_uiui.c
index 7bf51a5da..db46a82fe 100644
--- a/tests/mpz/t-mfac_uiui.c
+++ b/tests/mpz/t-mfac_uiui.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-mul.c b/tests/mpz/t-mul.c
index 690b89f7f..66e021eac 100644
--- a/tests/mpz/t-mul.c
+++ b/tests/mpz/t-mul.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "longlong.h"
 #include "tests.h"
diff --git a/tests/mpz/t-mul_i.c b/tests/mpz/t-mul_i.c
index cbbe54d40..5f2dae20c 100644
--- a/tests/mpz/t-mul_i.c
+++ b/tests/mpz/t-mul_i.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-nextprime.c b/tests/mpz/t-nextprime.c
index 1033f7577..72cb6939c 100644
--- a/tests/mpz/t-nextprime.c
+++ b/tests/mpz/t-nextprime.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-oddeven.c b/tests/mpz/t-oddeven.c
index 107f2436a..eedad4bee 100644
--- a/tests/mpz/t-oddeven.c
+++ b/tests/mpz/t-oddeven.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-perfpow.c b/tests/mpz/t-perfpow.c
index f5f2c3476..84f9c8e64 100644
--- a/tests/mpz/t-perfpow.c
+++ b/tests/mpz/t-perfpow.c
@@ -22,7 +22,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-perfsqr.c b/tests/mpz/t-perfsqr.c
index 2a54e59e6..22235936d 100644
--- a/tests/mpz/t-perfsqr.c
+++ b/tests/mpz/t-perfsqr.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-popcount.c b/tests/mpz/t-popcount.c
index c27c4efda..8952cc2ba 100644
--- a/tests/mpz/t-popcount.c
+++ b/tests/mpz/t-popcount.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-pow.c b/tests/mpz/t-pow.c
index 312ef9888..ff417219e 100644
--- a/tests/mpz/t-pow.c
+++ b/tests/mpz/t-pow.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-powm.c b/tests/mpz/t-powm.c
index 240e1c89b..f9586d2c3 100644
--- a/tests/mpz/t-powm.c
+++ b/tests/mpz/t-powm.c
@@ -22,7 +22,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdlib.h>
 #include <string.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-powm_ui.c b/tests/mpz/t-powm_ui.c
index a95e473c3..5b446c59f 100644
--- a/tests/mpz/t-powm_ui.c
+++ b/tests/mpz/t-powm_ui.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-pprime_p.c b/tests/mpz/t-pprime_p.c
index d437299e5..29f1ee20f 100644
--- a/tests/mpz/t-pprime_p.c
+++ b/tests/mpz/t-pprime_p.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-primorial_ui.c b/tests/mpz/t-primorial_ui.c
index d3b77758b..bda1a0080 100644
--- a/tests/mpz/t-primorial_ui.c
+++ b/tests/mpz/t-primorial_ui.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-remove.c b/tests/mpz/t-remove.c
index 4de74675f..07ba91837 100644
--- a/tests/mpz/t-remove.c
+++ b/tests/mpz/t-remove.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-root.c b/tests/mpz/t-root.c
index 05a826312..e1ce15909 100644
--- a/tests/mpz/t-root.c
+++ b/tests/mpz/t-root.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-scan.c b/tests/mpz/t-scan.c
index 95b896b1b..ababcfa0c 100644
--- a/tests/mpz/t-scan.c
+++ b/tests/mpz/t-scan.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-set_d.c b/tests/mpz/t-set_d.c
index d587e6544..1fdfc02e1 100644
--- a/tests/mpz/t-set_d.c
+++ b/tests/mpz/t-set_d.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-set_f.c b/tests/mpz/t-set_f.c
index 38b5a2c43..2671a866b 100644
--- a/tests/mpz/t-set_f.c
+++ b/tests/mpz/t-set_f.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-set_si.c b/tests/mpz/t-set_si.c
index b1e55ede3..4e8ed7ac4 100644
--- a/tests/mpz/t-set_si.c
+++ b/tests/mpz/t-set_si.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-set_str.c b/tests/mpz/t-set_str.c
index c6a59f2fe..22d36d313 100644
--- a/tests/mpz/t-set_str.c
+++ b/tests/mpz/t-set_str.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-sizeinbase.c b/tests/mpz/t-sizeinbase.c
index b5eab8846..936f2bd8e 100644
--- a/tests/mpz/t-sizeinbase.c
+++ b/tests/mpz/t-sizeinbase.c
@@ -19,7 +19,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-sqrtrem.c b/tests/mpz/t-sqrtrem.c
index a3f896e1a..9db8a6164 100644
--- a/tests/mpz/t-sqrtrem.c
+++ b/tests/mpz/t-sqrtrem.c
@@ -20,7 +20,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-tdiv.c b/tests/mpz/t-tdiv.c
index 902b51c00..3d2eb365b 100644
--- a/tests/mpz/t-tdiv.c
+++ b/tests/mpz/t-tdiv.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"
 
diff --git a/tests/mpz/t-tdiv_ui.c b/tests/mpz/t-tdiv_ui.c
index db266eb9d..6bbb947d3 100644
--- a/tests/mpz/t-tdiv_ui.c
+++ b/tests/mpz/t-tdiv_ui.c
@@ -21,7 +21,6 @@ the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 #include "tests.h"