From 9572785276c22c1cf7553688ab2ae45c43c06eb9 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 4 Sep 2010 14:45:01 +0200
Subject: [PATCH] isl_input.c add_equalities: gauss and finalize result after
 adding equalities

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

diff --git a/isl_input.c b/isl_input.c
index 4c5e6cfd..0f825c21 100644
--- a/isl_input.c
+++ b/isl_input.c
@@ -1446,6 +1446,8 @@ static __isl_give isl_basic_map *add_equalities(__isl_take isl_basic_map *bmap,
 	}
 
 	isl_mat_free(eq);
+	bmap = isl_basic_map_gauss(bmap, NULL);
+	bmap = isl_basic_map_finalize(bmap);
 	return bmap;
 error:
 	isl_mat_free(eq);
-- 
2.11.4.GIT