[PPL-devel] [GIT] ppl/ppl(master): Removed pointless qualifier.
Abramo Bagnara
abramo.bagnara at bugseng.com
Wed Aug 14 18:09:53 CEST 2019
Module: ppl/ppl
Branch: master
Commit: 26787291164ec3aef72c27b3dc6a40fc1dff17b0
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26787291164ec3aef72c27b3dc6a40fc1dff17b0
Author: Abramo Bagnara <abramo.bagnara at 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
More information about the PPL-devel
mailing list