[PPL-devel] [GIT] ppl/ppl(master): Removed pointless qualifier.

14 Aug 2019

Module: ppl/ppl
Branch: master
Commit: 26787291164ec3aef72c27b3dc6a40fc1dff17b0
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26787291164ec...
Author: Abramo Bagnara abramo.bagnara@bugseng.com
Date:   Wed Aug 14 18:09:51 2019 +0200
Removed pointless qualifier.
---
src/compiler.hh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/compiler.hh b/src/compiler.hh
index 217121f..31f88de 100644
--- a/src/compiler.hh
+++ b/src/compiler.hh
@@ -36,7 +36,7 @@ namespace Parma_Polyhedra_Library {
   the compiler.
 */
 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
-#define PPL_USED(v) (const void)(v)
+#define PPL_USED(v) (void)(v)
#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
 /*! \brief

    