[PPL-devel] [GIT] ppl/ppl(master): Avoid unused variable warning when assertions are not enabled.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Wed Jun 10 11:40:06 2009 +0100

Avoid unused variable warning when assertions are not enabled.

---

 src/Box.templates.hh |    5 ++---
 1 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/Box.templates.hh b/src/Box.templates.hh
index 9918363..981c0a4 100644
--- a/src/Box.templates.hh
+++ b/src/Box.templates.hh
@@ -2138,7 +2138,7 @@ template <typename ITV>
 void
 Box<ITV>::refine_no_check(const Constraint& c) {
   const dimension_type c_space_dim = c.space_dimension();
-  assert(c_space_dim <= space_dimension());
+  assert(c.space_dimension() <= space_dimension());
   assert(!marked_empty());
 
   dimension_type c_num_vars = 0;
@@ -2179,8 +2179,7 @@ void
 Box<ITV>::refine_no_check(const Congruence& cg) {
   assert(!marked_empty());
 
-  const dimension_type cg_space_dim = cg.space_dimension();
-  assert(cg_space_dim <= space_dimension());
+  assert(cg.space_dimension() <= space_dimension());
 
   if (cg.is_proper_congruence()) {
     // FIXME: also deal with the case of interval with restrictions.