[PPL-devel] [GIT] ppl/ppl(master): Better/canonical way to avoid gcc warning.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May  7 06:11:49 2010 +0200

Better/canonical way to avoid gcc warning.

---

 src/compiler.hh |    9 +++------
 1 files changed, 3 insertions(+), 6 deletions(-)

diff --git a/src/compiler.hh b/src/compiler.hh
index 77115a2..0ff65a4 100644
--- a/src/compiler.hh
+++ b/src/compiler.hh
@@ -27,14 +27,11 @@ namespace Parma_Polyhedra_Library {
 
 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
 /*! \brief
-  No-op function that allows to avoid unused variable warnings from
+  No-op macro that allows to avoid unused variable warnings from
   the compiler.
 */
-#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
-template <typename T>
-inline void
-used(const T&) {
-}
+#endif // defined(ECLAIR_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
+#define used(v) (void)v
 
 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
 /*! \brief