From a88daa9ede4f1531cc702749b2ebae9b66e7a9a2 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 2 Mar 2011 21:43:54 +0100 Subject: [PATCH] isl_set_lifting: simplify and finalize result Signed-off-by: Sven Verdoolaege --- isl_map.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/isl_map.c b/isl_map.c index 766c25f..bfcfd67 100644 --- a/isl_map.c +++ b/isl_map.c @@ -7495,6 +7495,8 @@ __isl_give isl_map *isl_set_lifting(__isl_take isl_set *set) } isl_set_free(set); + bmap = isl_basic_map_simplify(bmap); + bmap = isl_basic_map_finalize(bmap); return isl_map_from_basic_map(bmap); error: isl_set_free(set); -- 2.7.4