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