]> CRI, Mines Paris - PSL - linpy.git/commitdiff
Remove useless header in _isl.c
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Mon, 23 Jun 2014 07:02:24 +0000 (09:02 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Mon, 23 Jun 2014 07:02:24 +0000 (09:02 +0200)
pypol/_isl.c

index fe29ec570907e2a68d55a637008eb04f0dd75bb6..828e10d92d02f4a55b1884bf8d52875744a2da44 100644 (file)
@@ -1,5 +1,4 @@
 #include <Python.h>
-#include <stdlib.h>
 
 #include <isl/constraint.h>
 #include <isl/set.h>