[PPL-devel] [GIT] ppl/ppl(sparse_matrices): Use macro PPL_USED.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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);