1 files changed, 0 insertions, 1 deletions

diff --git a/errno.c b/errno.c
index c82e8277b..b4be55501 100644
--- a/errno.c
+++ b/errno.c
@@ -36,7 +36,6 @@ see https://www.gnu.org/licenses/.  */
 
 #include <signal.h>
 
-#include "gmp.h"
 #include "gmp-impl.h"
 
 int gmp_errno = 0;