X-Git-Url: https://svn.cri.ensmp.fr/git/linpy.git/blobdiff_plain/efe7abf81717b6bf1f0e6d66352a4c3615538789..236157f4861732617ec9078a4364464514bd5b4c:/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)