From b11835b331e5d748b4faa9fffa5d63469c916060 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 23 Dec 2016 15:48:27 +0100
Subject: [PATCH] util.c: bv_ceil3: drop unused variable

This was missing from 6e7823b (lattice_point.cc: add ceiling function,
Mon Apr 21 22:12:55 2008 +0200).

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

diff --git a/util.c b/util.c
index 85dc6ce..372ac4d 100644
--- a/util.c
+++ b/util.c
@@ -1034,7 +1034,7 @@ static void PLL_init(unsigned n, void *cb_data)
 static evalue* bv_ceil3(Value *coef, int len, Value d, Polyhedron *P)
 {
     Value t;
-    evalue *EP, *f;
+    evalue *EP;
     Vector *val = Vector_Alloc(len);
 
     value_init(t);
-- 
2.11.4.GIT