1.1 --- a/src/work/list_graph.hh Mon Mar 01 12:06:56 2004 +0000
1.2 +++ b/src/work/list_graph.hh Mon Mar 01 14:33:00 2004 +0000
1.3 @@ -305,9 +305,9 @@
1.4 bool valid(EdgeIt e) const { return e.valid(); }
1.5 bool valid(NodeIt n) const { return n.valid(); }
1.6
1.7 - template <typename It> It next(It it) const {
1.8 - It tmp(it); return goNext(tmp); }
1.9 - template <typename It> It& goNext(It& it) const { return ++it; }
1.10 + template <typename It> It getNext(It it) const {
1.11 + It tmp(it); return next(tmp); }
1.12 + template <typename It> It& next(It& it) const { return ++it; }
1.13
1.14
1.15 /* for getting id's of graph objects */