From 3c87dc9bbeaec4d8219ac9a17ddae2cf500cd8ab Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 4 Oct 2009 10:20:51 +0200 Subject: [PATCH] isl_tab_basic_map_partial_lexopt: simplify result --- isl_tab_pip.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/isl_tab_pip.c b/isl_tab_pip.c index 6a9fe89..15bc52a 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -263,8 +263,7 @@ static struct isl_sol_map *sol_map_add(struct isl_sol_map *sol, tab->mat->row[row][0]); } } - bmap = isl_basic_map_gauss(bmap, NULL); - bmap = isl_basic_map_normalize_constraints(bmap); + bmap = isl_basic_map_simplify(bmap); bmap = isl_basic_map_finalize(bmap); sol->map = isl_map_grow(sol->map, 1); sol->map = isl_map_add(sol->map, bmap); -- 2.7.4