[PPL-devel] [GIT] ppl/ppl(master): Removed another unused variable.

[Abramo Bagnara]

Module: ppl/ppl
Branch: master
Commit: 699a1fe6e0828997e09744ac5d884eac7819d819
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=699a1fe6e0828997e09744ac5d884eac7819d819

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Jun  6 18:23:54 2011 +0200

Removed another unused variable.

---

 src/PIP_Tree.cc |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc
index 6366f75..35590cf 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -578,7 +578,6 @@ compatibility_check_find_pivot_in_set(
       for (++i; i != i_end; ++i) {
         bool found_better_pivot = false;
 
-        const dimension_type challenger_i = i->second.row_index;
         const dimension_type challenger_j = i->first;
         Coefficient_traits::const_reference challenger_cost = i->second.cost;
         PPL_ASSERT(value > 0);