Module: ppl/ppl Branch: sparse_matrices Commit: 79ab9a850e89992a534ac96309c952747234a94a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79ab9a850e899...
Author: Roberto Bagnara bagnara@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))