isl_gmp.c: remove spurious include
commit9403bfbf2aa231e65ed32c595c983d63c62e66e0
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)
treee48f2e4ecc5cd2e1227f96b502dfb0f7a9f31306
parent52c2b1154c6b757bc819a1e45f5a5e93806598cb
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