From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 28 May 2014 21:08:48 +0000 (+0200)
Subject: isl_gmp.c: remove spurious include
X-Git-Tag: isl-0.14~131
X-Git-Url: https://repo.or.cz/w/isl.git/commitdiff_plain/9403bfbf2aa231e65ed32c595c983d63c62e66e0

isl_gmp.c: remove spurious include

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>
---

diff --git a/isl_gmp.c b/isl_gmp.c
index 2dbce62e..cf2ddeef 100644
--- a/isl_gmp.c
+++ b/isl_gmp.c
@@ -1,4 +1,3 @@
-#include <stdio.h>
 /*
  * Copyright 2008-2009 Katholieke Universiteit Leuven
  *