diff options
Diffstat (limited to 'printf/printf.c')
| -rw-r--r-- | printf/printf.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/printf/printf.c b/printf/printf.c index 7ac7b62fa..4becb0b21 100644 --- a/printf/printf.c +++ b/printf/printf.c @@ -31,7 +31,6 @@ see https://www.gnu.org/licenses/. */ #include <stdarg.h> #include <stdio.h> -#include "gmp.h" #include "gmp-impl.h" |