Implement BasicSet.__del__
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Wed, 18 Jun 2014 18:24:45 +0000 (20:24 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Wed, 18 Jun 2014 18:24:45 +0000 (20:24 +0200)
pypol/isl.py

index 00d0818..ddf7ea0 100644 (file)
@@ -55,3 +55,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)