isl_tab_pip.c: sol_push_sol: plug memory leak on error path

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

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 4acfe8e..3f6673f 100644 (file)
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -201,6 +201,7 @@ static void sol_push_sol(struct isl_sol *sol,
        return;
 error:
        isl_basic_set_free(dom);
+       isl_mat_free(M);
        sol->error = 1;
 }