isl_basic_map_from_local_space: don't finalize result

This function is only called internally during the construction
of isl_constraints and isl_divs and we don't want to remove redundant
existentially quantified variables in these cases.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/isl_map.c b/isl_map.c
index 128dce9..0668037 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -306,7 +306,6 @@ __isl_give isl_basic_map *isl_basic_map_from_local_space(
        }
                                        
        isl_local_space_free(ls);
-       bmap = isl_basic_map_finalize(bmap);
        return bmap;
 error:
        isl_local_space_free(ls);