diff options
Diffstat (limited to '')
| -rw-r--r-- | lang/maude/files/patch-src__ObjectSystem__objectMap.cc | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lang/maude/files/patch-src__ObjectSystem__objectMap.cc b/lang/maude/files/patch-src__ObjectSystem__objectMap.cc deleted file mode 100644 index 29d4faa153d4..000000000000 --- a/lang/maude/files/patch-src__ObjectSystem__objectMap.cc +++ /dev/null @@ -1,11 +0,0 @@ ---- ./src/ObjectSystem/objectMap.cc.orig 2014-09-03 02:39:09.000000000 +0200 -+++ ./src/ObjectSystem/objectMap.cc 2014-09-03 02:39:20.000000000 +0200 -@@ -50,7 +50,7 @@ - - struct ConfigSymbol::dagNodeLt - { -- bool operator()(const DagNode* d1, const DagNode* d2) -+ bool operator()(const DagNode* d1, const DagNode* d2) const - { - return d1->compare(d2) < 0; - } |