From 38db2034459cd457e0d922990b7f1cbcc68d8908 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 22 Oct 2012 23:46:31 +0200
Subject: [PATCH] isl_basic_map_from_constraint_matrices: (simplify and)
 finalize result

isl_basic_map_from_constraint_matrices belongs to the public API so it
should return a finalized basic relation.  The user probably expects
the result to be simplified as well.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 isl_map.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/isl_map.c b/isl_map.c
index b0554cff..922bbf94 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -10272,7 +10272,8 @@ __isl_give isl_basic_map *isl_basic_map_from_constraint_matrices(
 	isl_mat_free(eq);
 	isl_mat_free(ineq);
 
-	return bmap;
+	bmap = isl_basic_map_simplify(bmap);
+	return isl_basic_map_finalize(bmap);
 error:
 	isl_space_free(dim);
 	isl_mat_free(eq);
-- 
2.11.4.GIT