summaryrefslogtreecommitdiff
path: root/isl_constraint.c
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2010-06-03 18:32:26 +0200
committerSven Verdoolaege <skimo@kotnet.org>2010-06-03 18:32:26 +0200
commit16cc4f36dc666740b732ecdcf24bbada5052b58f (patch)
tree5addde4644cf8e8946898aeeb42aeacbc79c90e3 /isl_constraint.c
parent0eacaaad783afbe0ab37f4f31aa6ee6f150e4a37 (diff)
downloadisl-16cc4f36dc666740b732ecdcf24bbada5052b58f.tar.gz
isl-16cc4f36dc666740b732ecdcf24bbada5052b58f.tar.bz2
isl-16cc4f36dc666740b732ecdcf24bbada5052b58f.zip
isl_basic_map_from_constraint: finalize result
Diffstat (limited to 'isl_constraint.c')
-rw-r--r--isl_constraint.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/isl_constraint.c b/isl_constraint.c
index 3c71f1c8..1566a881 100644
--- 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);