[PPL-devel] [GIT] ppl/ppl(master): Avoid another warning.

[Abramo Bagnara]

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

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

Avoid another warning.

---

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

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc
index bc1c494..6366f75 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -569,7 +569,6 @@ compatibility_check_find_pivot_in_set(
     candidates_t::const_iterator i = candidates.begin();
     candidates_t::const_iterator i_end = candidates.end();
     PPL_ASSERT(i != i_end);
-    dimension_type pi = i->second.row_index;
     dimension_type pj = i->first;
     Coefficient cost = i->second.cost;
     Coefficient value = i->second.value;
@@ -610,7 +609,6 @@ compatibility_check_find_pivot_in_set(
             new_candidates.push_back(*i);
         }
         if (found_better_pivot) {
-          pi = challenger_i;
           pj = challenger_j;
           cost = challenger_cost;
           value = i->second.value;
@@ -660,7 +658,6 @@ compatibility_check_find_pivot_in_set(
 
         if (lhs_sign != rhs_sign) {
           if (lhs_sign > rhs_sign) {
-            pi = i->second.row_index;
             pj = challenger_j;
             cost = challenger_cost;
             value = challenger_value;
@@ -687,7 +684,6 @@ compatibility_check_find_pivot_in_set(
             new_candidates.push_back(*i);
           else {
             if (lhs > rhs) {
-              pi = i->second.row_index;
               pj = challenger_j;
               cost = challenger_cost;
               value = challenger_value;