From: Vivien Maisonneuve Date: Mon, 23 Jun 2014 07:02:24 +0000 (+0200) Subject: Remove useless header in _isl.c X-Git-Tag: 1.0~219 X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/commitdiff_plain/ed45a4863fa871e736fa6c8c0ed1793a57373f1d?ds=inline;hp=6de0f9506d41b146724d4422b977002f61de247a Remove useless header in _isl.c --- diff --git a/pypol/_isl.c b/pypol/_isl.c index fe29ec5..828e10d 100644 --- a/pypol/_isl.c +++ b/pypol/_isl.c @@ -1,5 +1,4 @@ #include -#include #include #include