[GIT] ppl/ppl(master): Avoid warning of unused variable space_dim.

Module: ppl/ppl Branch: master Commit: 4127a9caaaa69f0f3de086404f2a967f20052f02 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4127a9caaaa69...
Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri Apr 3 10:34:38 2009 +0100
Avoid warning of unused variable space_dim.
---
src/Box.templates.hh | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-)
diff --git a/src/Box.templates.hh b/src/Box.templates.hh index 596057d..51578f4 100644 --- a/src/Box.templates.hh +++ b/src/Box.templates.hh @@ -3352,10 +3352,9 @@ template <typename ITV> void Box<ITV>::get_limiting_box(const Constraint_System& cs, Box& limiting_box) const { - const dimension_type space_dim = space_dimension(); const dimension_type cs_space_dim = cs.space_dimension(); // Private method: the caller has to ensure the following. - assert(cs_space_dim <= space_dim); + assert(cs_space_dim <= space_dimension());
for (Constraint_System::const_iterator cs_i = cs.begin(), cs_end = cs.end(); cs_i != cs_end; ++cs_i) {
participants (1)
-
Patricia Hill