1.1 --- a/lemon/bits/graph_extender.h	Mon Sep 28 15:53:20 2009 +0200
     1.2 +++ b/lemon/bits/graph_extender.h	Thu Nov 05 10:27:17 2009 +0100
     1.3 @@ -56,11 +56,11 @@
     1.4        return Parent::maxArcId();
     1.5      }
     1.6  
     1.7 -    Node fromId(int id, Node) const {
     1.8 +    static Node fromId(int id, Node) {
     1.9        return Parent::nodeFromId(id);
    1.10      }
    1.11  
    1.12 -    Arc fromId(int id, Arc) const {
    1.13 +    static Arc fromId(int id, Arc) {
    1.14        return Parent::arcFromId(id);
    1.15      }
    1.16  
    1.17 @@ -355,15 +355,15 @@
    1.18        return Parent::maxEdgeId();
    1.19      }
    1.20  
    1.21 -    Node fromId(int id, Node) const {
    1.22 +    static Node fromId(int id, Node) {
    1.23        return Parent::nodeFromId(id);
    1.24      }
    1.25  
    1.26 -    Arc fromId(int id, Arc) const {
    1.27 +    static Arc fromId(int id, Arc) {
    1.28        return Parent::arcFromId(id);
    1.29      }
    1.30  
    1.31 -    Edge fromId(int id, Edge) const {
    1.32 +    static Edge fromId(int id, Edge) {
    1.33        return Parent::edgeFromId(id);
    1.34      }
    1.35