[GIT] ppl/ppl(master): Unused variable removed.
Module: ppl/ppl Branch: master Commit: e13568ef98abefe1b710d32105cb5dbb0bac0b90 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e13568ef98abe...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat May 2 20:18:34 2009 +0200
Unused variable 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 6c44a4d..91f3306 100644 --- a/src/wrap_assign.hh +++ b/src/wrap_assign.hh @@ -60,7 +60,6 @@ wrap_assign_rec(PS& dest, unsigned complexity_threshold, Coefficient& tmp1, Coefficient& tmp2) { - dimension_type space_dim = dest.space_dimension(); if (first == end) { PS p(src); if (pcs != 0)
participants (1)
-
Roberto Bagnara