X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/efe7abf81717b6bf1f0e6d66352a4c3615538789..5a4b72c59f689a3eb67303c60a5d76a99d4b097c:/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)