From 3bec0f17c748f2e237e3219eadb7b44a601a51b8 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 18 Mar 2009 17:34:58 +0100
Subject: [PATCH] isl_basic_map_implicit_equalities: perform Gaussian
 elimination on result

---
 isl_affine_hull.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/isl_affine_hull.c b/isl_affine_hull.c
index 39075a9..549d182 100644
--- a/isl_affine_hull.c
+++ b/isl_affine_hull.c
@@ -28,6 +28,7 @@ struct isl_basic_map *isl_basic_map_implicit_equalities(
 	tab = isl_tab_detect_equalities(bmap->ctx, tab);
 	bmap = isl_basic_map_update_from_tab(bmap, tab);
 	isl_tab_free(bmap->ctx, tab);
+	bmap = isl_basic_map_gauss(bmap, NULL);
 	ISL_F_SET(bmap, ISL_BASIC_MAP_NO_IMPLICIT);
 	return bmap;
 }
-- 
2.7.4