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

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