From ed45a4863fa871e736fa6c8c0ed1793a57373f1d Mon Sep 17 00:00:00 2001
From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Mon, 23 Jun 2014 09:02:24 +0200
Subject: [PATCH] Remove useless header in _isl.c

---
 pypol/_isl.c | 1 -
 1 file changed, 1 deletion(-)

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