From 4a97dc3061c9c80c29cb7e9df2a9b97f029d3e30 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 23 Dec 2016 13:53:25 +0100
Subject: [PATCH] barvinok_enumerate.cc: verify_point: drop unused error label

This was missing from d9739d7 (barvinok_enumerate.cc: verify_point:
use isl_val, Fri Apr 5 10:29:35 2013 +0200).

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

diff --git a/barvinok_enumerate.cc b/barvinok_enumerate.cc
index e23f231..f336a0f 100644
--- a/barvinok_enumerate.cc
+++ b/barvinok_enumerate.cc
@@ -101,10 +101,6 @@ static isl_stat verify_point(__isl_take isl_point *pnt, void *user)
 		fflush(stdout);
 	}
 
-	if (0) {
-error:
-		ok = 0;
-	}
 	isl_set_free(set);
 	isl_val_free(v);
 	isl_val_free(n);
-- 
2.11.4.GIT