1 files changed, 0 insertions, 1 deletions
diff --git a/invalid.c b/invalid.c
index 81d6720c0..e09eab219 100644
--- a/invalid.c
+++ b/invalid.c
@@ -41,7 +41,6 @@ see https://www.gnu.org/licenses/.  */
 #include <unistd.h>  /* for getpid */
 #endif
 
-#include "gmp.h"
 #include "gmp-impl.h"