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