--- a/common/rclconfig.cpp.ORIG 2019-03-21 15:24:12.000000000 +0100 +++ b/common/rclconfig.cpp 2019-05-09 12:55:12.226039371 +0200 @@ -659,7 +659,7 @@ class SfString { public: SfString(const string& s) : m_str(s) {} - bool operator==(const SfString& s2) { + bool operator==(const SfString& s2) const { string::const_reverse_iterator r1 = m_str.rbegin(), re1 = m_str.rend(), r2 = s2.m_str.rbegin(), re2 = s2.m_str.rend(); while (r1 != re1 && r2 != re2) { @@ -675,7 +675,7 @@ class SuffCmp { public: - int operator()(const SfString& s1, const SfString& s2) { + int operator()(const SfString& s1, const SfString& s2) const { //cout << "Comparing " << s1.m_str << " and " << s2.m_str << endl; string::const_reverse_iterator r1 = s1.m_str.rbegin(), re1 = s1.m_str.rend(),