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,