1 files changed, 0 insertions, 1 deletions
diff --git a/memory.c b/memory.c
index 4475f37de..5e0019107 100644
--- a/memory.c
+++ b/memory.c
@@ -31,7 +31,6 @@ see https://www.gnu.org/licenses/.  */
 #include <stdio.h>
 #include <stdlib.h> /* for malloc, realloc, free */
 
-#include "gmp.h"
 #include "gmp-impl.h"