From 9403bfbf2aa231e65ed32c595c983d63c62e66e0 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 28 May 2014 23:08:48 +0200
Subject: [PATCH] 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>
---
 isl_gmp.c | 1 -
 1 file changed, 1 deletion(-)

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
  *
-- 
2.11.4.GIT