1.1 --- a/src/work/bfs_iterator.h	Fri Apr 02 18:31:19 2004 +0000
     1.2 +++ b/src/work/bfs_iterator.h	Sat Apr 03 14:22:33 2004 +0000
     1.3 @@ -796,7 +796,9 @@
     1.4      void pushAndSetReached(Node s) { 
     1.5        actual_node=s;
     1.6        reached.set(s, true);
     1.7 -      dfs_stack.push(G.template first<OutEdgeIt>(s)); 
     1.8 +      OutEdgeIt e;
     1.9 +      G.first(e, s);
    1.10 +      dfs_stack.push(e); 
    1.11      }
    1.12      DfsIterator5<GraphWrapper, /*OutEdgeIt,*/ ReachedMap>& 
    1.13      operator++() { 
    1.14 @@ -806,7 +808,9 @@
    1.15  	Node w=G.bNode(actual_edge);
    1.16  	actual_node=w;
    1.17  	if (!reached.get(w)) {
    1.18 -	  dfs_stack.push(G.template first<OutEdgeIt>(w));
    1.19 +	  OutEdgeIt e;
    1.20 +	  G.first(e, w);
    1.21 +	  dfs_stack.push(e);
    1.22  	  reached.set(w, true);
    1.23  	  b_node_newly_reached=true;
    1.24  	} else {