Rename Constant into Rational

[linpy.git] / pypol / _islhelper.c

diff --git a/pypol/_islhelper.c b/pypol/_islhelper.c
index bc62968..eaacc67 100644 (file)
--- a/pypol/_islhelper.c
+++ b/pypol/_islhelper.c
@@ -36,7 +36,7 @@ static PyObject * isl_basic_set_constraints(PyObject *self, PyObject* args) {
         return NULL;
     }
     bset = (isl_basic_set *) ptr;
         return NULL;
     }
     bset = (isl_basic_set *) ptr;

-    bset = isl_basic_set_finalize(bset);
+    bset = isl_basic_set_finalize(bset); // this instruction should not be required

     n = isl_basic_set_n_constraint(bset);
     if (n == -1) {
         PyErr_SetString(PyExc_RuntimeError,
     n = isl_basic_set_n_constraint(bset);
     if (n == -1) {
         PyErr_SetString(PyExc_RuntimeError,