From 6ed09daec50c2b69d40fb13674de1e5d1001fc29 Mon Sep 17 00:00:00 2001
From: skimo <skimo>
Date: Wed, 4 Aug 2004 09:39:23 +0000
Subject: [PATCH] memory leak

---
 barvinok.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/barvinok.cc b/barvinok.cc
index 3a53f19..3e888a0 100644
--- a/barvinok.cc
+++ b/barvinok.cc
@@ -2280,6 +2280,9 @@ static evalue* enumerate_vd(Polyhedron **PA,
 			free_evalue_refs(E); 
 			free(E);
 		    }
+		    Polyhedron_Free(para);
+		    Polyhedron_Free(pos);
+		    Polyhedron_Free(neg);
 		    break;
 		}
 		if (EP)
-- 
2.11.4.GIT