Module: ppl/ppl Branch: devel Commit: 2224f8fcbdb9aa231cccf29bff2ee0d932679c36 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2224f8fcbdb9a...

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Aug 9 19:59:50 2020 +0200

Fixed GCC warning about pointless qualifiers.

---

src/Scalar_Products_defs.hh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/Scalar_Products_defs.hh b/src/Scalar_Products_defs.hh index c55a640b7..2b80c758f 100644 --- a/src/Scalar_Products_defs.hh +++ b/src/Scalar_Products_defs.hh @@ -214,11 +214,10 @@ public:

private: //! The type of the scalar product sign function pointer. - typedef int (* const SPS_type)(const Linear_Expression&, - const Linear_Expression&); + typedef int (*SPS_type)(const Linear_Expression&, const Linear_Expression&);

//! The scalar product sign function pointer. - SPS_type sps_fp; + const SPS_type sps_fp; };

// NOTE: Scalar_Products_inlines.hh is NOT included here, to avoid cyclic