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

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at 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) {