X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/1d494bb187b70135df721c13306d7f26fdf33f50..ea1451506357e9c8de93a6058cecec042eef5b46:/pypol/_islhelper.c diff --git a/pypol/_islhelper.c b/pypol/_islhelper.c index f8c03e3..bc62968 100644 --- a/pypol/_islhelper.c +++ b/pypol/_islhelper.c @@ -36,6 +36,7 @@ static PyObject * isl_basic_set_constraints(PyObject *self, PyObject* args) { return NULL; } bset = (isl_basic_set *) ptr; + bset = isl_basic_set_finalize(bset); n = isl_basic_set_n_constraint(bset); if (n == -1) { PyErr_SetString(PyExc_RuntimeError,