X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/1d494bb187b70135df721c13306d7f26fdf33f50..34f5424e5e4fef9ffeb2934ce2e62c0a906ca9e0:/pypol/_islhelper.c?ds=inline

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,