Module: ppl/ppl Branch: sparse_matrices Commit: 440744bf1b2936648e2468acc37b025522a30566 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=440744bf1b293... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Fri Mar 30 09:29:03 2012 +0200 Use macro PPL_USED. --- src/Grid_Generator.inlines.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Grid_Generator.inlines.hh b/src/Grid_Generator.inlines.hh index cea40fe..c5c77cd 100644 --- a/src/Grid_Generator.inlines.hh +++ b/src/Grid_Generator.inlines.hh @@ -63,7 +63,7 @@ Grid_Generator::set_is_ray_or_point_or_inequality() { inline void Grid_Generator::set_topology(Topology x) { - used(x); + PPL_USED(x); PPL_ASSERT(x == NECESSARILY_CLOSED); } @@ -121,7 +121,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_USED(topology); PPL_ASSERT(topology == NECESSARILY_CLOSED); expr.set_space_dimension(space_dim + 1); PPL_ASSERT(space_dimension() == space_dim);