]> CRI, Mines Paris - PSL - linpy.git/blobdiff - pypol/isl.py
Get rid of weird comment
[linpy.git] / pypol / isl.py
index 00d0818d8f532c0f05a940985f33fb7b97050ecd..dcd24962b4702e7244a481056f4605766da07a34 100644 (file)
@@ -1,8 +1,3 @@
-"""
-note: for islpy
-isl format: basic set: ("{[x, y] : x >= 0 and x < 5 and y >= 0 and y < x+4 }")
-"""
-
 import ctypes, ctypes.util
 import functools
 import math
@@ -55,3 +50,6 @@ class BasicSet(IslObject):
         p = libisl.isl_printer_print_basic_set(p, self)
         string = libisl.isl_printer_get_str(p).decode()
         return string
+
+    def __del__(self):
+        libisl.isl_basic_set_free(self)