Module: ppl/ppl Branch: sparse_matrices Commit: 6ee60dd34bf229f7dcff5eaa95e5bd407faf5f14 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ee60dd34bf22...

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Dec 11 10:00:19 2011 +0100

Use helper function used() to avoid unused variable warnings.

---

src/Grid_Generator.inlines.hh | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/src/Grid_Generator.inlines.hh b/src/Grid_Generator.inlines.hh index 14f3eb0..1d9337f 100644 --- a/src/Grid_Generator.inlines.hh +++ b/src/Grid_Generator.inlines.hh @@ -67,6 +67,7 @@ Grid_Generator::set_is_ray_or_point_or_inequality() {

inline void Grid_Generator::set_topology(Topology x) { + used(x); PPL_ASSERT(x == NECESSARILY_CLOSED); }

@@ -124,6 +125,7 @@ Grid_Generator::Grid_Generator(dimension_type space_dim, Kind kind, semi_wrapped_expr(expr), wrapped_expr(semi_wrapped_expr, true), kind_(kind) { + used(topology); PPL_ASSERT(topology == NECESSARILY_CLOSED); expr.set_space_dimension(space_dim + 1); PPL_ASSERT(space_dimension() == space_dim);