isl_input.c add_equalities: gauss and finalize result after adding equalities

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

diff --git a/isl_input.c b/isl_input.c
index 4c5e6cf..0f825c2 100644 (file)
--- a/isl_input.c
+++ b/isl_input.c
@@ -1446,6 +1446,8 @@ static __isl_give isl_basic_map *add_equalities(__isl_take isl_basic_map *bmap,
        }
 
        isl_mat_free(eq);
+       bmap = isl_basic_map_gauss(bmap, NULL);
+       bmap = isl_basic_map_finalize(bmap);
        return bmap;
 error:
        isl_mat_free(eq);