isl_basic_map_from_constraint: finalize result

diff --git a/isl_constraint.c b/isl_constraint.c
index 3c71f1c..1566a88 100644 (file)
--- a/isl_constraint.c
+++ b/isl_constraint.c
@@ -422,6 +422,7 @@ __isl_give isl_basic_map *isl_basic_map_from_constraint(
        total = isl_basic_map_total_dim(bmap);
        isl_seq_cpy(c, constraint->line[0], 1 + total);
        isl_constraint_free(constraint);
+       bmap = isl_basic_map_finalize(bmap);
        return bmap;
 error:
        isl_constraint_free(constraint);