lang/maude/patches/patch-src_ObjectSystem_configSymbol.hh


1
2
3
4
5
6
7
8
9
10
11
12
13

$NetBSD: patch-src_ObjectSystem_configSymbol.hh,v 1.1 2013/11/29 18:30:10 joerg Exp $

--- src/ObjectSystem/configSymbol.hh.orig	2013-11-28 00:44:18.000000000 +0000
+++ src/ObjectSystem/configSymbol.hh
@@ -50,7 +50,7 @@ public:
 private:
   struct symbolLt
   {
-    bool operator()(const Symbol* d1, const Symbol* d2)
+    bool operator()(const Symbol* d1, const Symbol* d2) const
     {
       return d1->compare(d2) < 0;
     }