summaryrefslogtreecommitdiff
path: root/tune/mod_1_1-1.c
diff options
context:
space:
mode:
Diffstat (limited to 'tune/mod_1_1-1.c')
-rw-r--r--tune/mod_1_1-1.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/tune/mod_1_1-1.c b/tune/mod_1_1-1.c
index 7eb7fcdf7..7de1e4238 100644
--- a/tune/mod_1_1-1.c
+++ b/tune/mod_1_1-1.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"
#undef MOD_1_1P_METHOD