From 8aa1bc7de3b39d16839016c97b685ff2d6d3791b Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 10 Nov 2010 16:45:13 +0100
Subject: [PATCH] bound.cc: drop dead code

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

diff --git a/bound.cc b/bound.cc
index 3e09b4d..84620cb 100644
--- a/bound.cc
+++ b/bound.cc
@@ -147,11 +147,9 @@ static int verify(__isl_keep isl_pw_qpolynomial_fold *pwf,
 	struct verify_options *options)
 {
 	struct verify_point_bound vpb = { { options } };
-	isl_ctx *ctx;
 	isl_set *context;
 	int r;
 
-	ctx = isl_pw_qpolynomial_fold_get_ctx(pwf);
 	vpb.pwf = pwf;
 	vpb.type = type;
 	vpb.pwqp = pwqp;
-- 
2.11.4.GIT