1.1 --- a/lemon/smart_graph.h	Tue Sep 29 10:39:20 2009 +0200
     1.2 +++ b/lemon/smart_graph.h	Tue Sep 29 13:03:34 2009 +0200
     1.3 @@ -508,7 +508,7 @@
     1.4        node._id = nodes.size() - 1;
     1.5      }
     1.6  
     1.7 -    void next(Node& node) const {
     1.8 +    static void next(Node& node) {
     1.9        --node._id;
    1.10      }
    1.11  
    1.12 @@ -516,7 +516,7 @@
    1.13        arc._id = arcs.size() - 1;
    1.14      }
    1.15  
    1.16 -    void next(Arc& arc) const {
    1.17 +    static void next(Arc& arc) {
    1.18        --arc._id;
    1.19      }
    1.20  
    1.21 @@ -524,7 +524,7 @@
    1.22        arc._id = arcs.size() / 2 - 1;
    1.23      }
    1.24  
    1.25 -    void next(Edge& arc) const {
    1.26 +    static void next(Edge& arc) {
    1.27        --arc._id;
    1.28      }
    1.29