From 25745d982bcf01c1051d5a953e3e720311193d4d Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 3 Dec 2012 09:33:17 +0100
Subject: [PATCH] lattice_point.cc: fractional_part: remove unused label

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 lattice_point.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lattice_point.cc b/lattice_point.cc
index 4b0528f..1ea6b00 100644
--- a/lattice_point.cc
+++ b/lattice_point.cc
@@ -242,7 +242,6 @@ evalue *fractional_part(Value *coef, Value denom, int nvar, Polyhedron *PD)
 
     free_evalue_refs(&tmp); 
 
-out:
     value_clear(m);
 
     return EP;
-- 
2.11.4.GIT