isl_basic_set_lift: finalize result

diff --git a/isl_map.c b/isl_map.c
index 358e656..b55ebe8 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -6441,6 +6441,8 @@ __isl_give isl_basic_set *isl_basic_set_lift(__isl_take isl_basic_set *bset)
        bset->dim = dim;
        bset->n_div = 0;
 
+       bset = isl_basic_set_finalize(bset);
+
        return bset;
 error:
        isl_basic_set_free(bset);