X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/f85fc6de63ea023ab1a6aa4f5ff4ca96c79e384d..600e193f0f6ba62014cb5ac3d804504cb064b0ac:/pypol/isl.py?ds=sidebyside diff --git a/pypol/isl.py b/pypol/isl.py index a295e9f..0b9a485 100644 --- a/pypol/isl.py +++ b/pypol/isl.py @@ -12,7 +12,7 @@ __all__ = [ libisl = ctypes.CDLL(ctypes.util.find_library('isl')) libisl.isl_printer_get_str.restype = ctypes.c_char_p -libisl.isl_dim_set = _isl.isl_dim_set +libisl.isl_dim_set = _isl.dim_set class IslObject: @@ -59,4 +59,4 @@ class BasicSet(IslObject): libisl.isl_basic_set_free(self) def constraints(self): - return _isl.isl_basic_set_constraints(self._ptr) + return _isl.basic_set_constraints(self._ptr)