From 549d43e8a53ab902169fdf0d481bd98cf33f6da5 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 1 Dec 2012 00:28:49 +0100
Subject: [PATCH] isl_tab_pip.c: sol_push_sol: plug memory leak on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 isl_tab_pip.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 4acfe8e..3f6673f 100644
--- 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;
 }
 
-- 
2.7.4