From 0082ac4b9e144af45f2d31b7b5944ad6ef5b67aa Mon Sep 17 00:00:00 2001
From: skimo <skimo>
Date: Sun, 15 Feb 2004 16:46:44 +0000
Subject: [PATCH] memory leak

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

diff --git a/barvinok.cc b/barvinok.cc
index 1b9a355..d8fbb64 100644
--- a/barvinok.cc
+++ b/barvinok.cc
@@ -937,6 +937,7 @@ evalue* ceil3(Value *coef, int len, Value d)
     delete EP;
 
     free_evalue_refs(&tmp); 
+    Vector_Free(val);
 
     return E;
 }
-- 
2.11.4.GIT