isl_tab_pip: don't simplify domain in isl_for_add

As the comment above the function explains, the domain should not
be simplified.  Unfortunately, an isl_basic_set_simplify snuck in
in 8b88ebf (isl_tab_pip.c: remove some code duplication between
isl_map_add and isl_for_add, Fri Oct 16 14:10:59 2009 +0200).

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

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 4b64667..56eb161 100644 (file)
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -4470,7 +4470,6 @@ static void sol_for_add(struct isl_sol_for *sol,
        if (sol->sol.error || !dom || !M)
                goto error;
 
-       dom = isl_basic_set_simplify(dom);
        dom = isl_basic_set_finalize(dom);
 
        if (sol->fn(isl_basic_set_copy(dom), isl_mat_copy(M), sol->user) < 0)