isl_gmp.c: remove spurious include
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 28 May 2014 21:08:48 +0000 (28 23:08 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 28 May 2014 21:08:48 +0000 (28 23:08 +0200)
The include appears to have been introduced by mistake in 0a83197
(try and avoid depending on mpz_gcdext internals,
Wed Jun 19 11:22:18 2013 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_gmp.c

index 2dbce62..cf2ddee 100644 (file)
--- a/isl_gmp.c
+++ b/isl_gmp.c
@@ -1,4 +1,3 @@
-#include <stdio.h>
 /*
  * Copyright 2008-2009 Katholieke Universiteit Leuven
  *