From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
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 <Python.h>
-#include <stdlib.h>
 
 #include <isl/constraint.h>
 #include <isl/set.h>