[PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unused variable declaration removed.

[Roberto Bagnara]

Module: ppl/ppl
Branch: sparse_matrices
Commit: 79ab9a850e89992a534ac96309c952747234a94a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79ab9a850e89992a534ac96309c952747234a94a

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Dec 24 12:56:41 2011 +0100

Unused variable declaration removed.

---

 src/wrap_assign.hh |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/src/wrap_assign.hh b/src/wrap_assign.hh
index d9610e8..32e3780 100644
--- a/src/wrap_assign.hh
+++ b/src/wrap_assign.hh
@@ -82,7 +82,6 @@ wrap_assign_ind(PSET& pointset,
       if (vars.empty())
         p.refine_with_constraints(cs);
       else {
-        Variables_Set::const_iterator vars_end = vars.end();
         for (Constraint_System::const_iterator j = cs.begin(),
                cs_end = cs.end(); j != cs_end; ++j)
           if (j->expression().all_zeroes(vars))