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

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

diff --git a/lexmin.cc b/lexmin.cc
index aa7c451..529b97d 100644
--- a/lexmin.cc
+++ b/lexmin.cc
@@ -2639,7 +2639,6 @@ static vector<max_term*> lexmin(Polyhedron *P, Polyhedron *C,
 			      options->verify->barvinok->MaxRays);
     if (!emptyQ2(P))
 	lexmin_base(P, C, CP, T, all_max, options);
-done:
     if (CP)
 	Matrix_Free(CP);
     if (T)
-- 
2.11.4.GIT