diff -r cb87fb9d4c94 -r 57ef4fd493d5 src/work/list_graph.h
--- a/src/work/list_graph.h	Mon Mar 22 15:53:05 2004 +0000
+++ b/src/work/list_graph.h	Mon Mar 22 16:07:42 2004 +0000
@@ -45,9 +45,9 @@
 	G(_G), container(G.node_id, a) { }
       void set(Node n, T a) { container[/*G.id(n)*/n.node->id]=a; }
       T get(Node n) const { return container[/*G.id(n)*/n.node->id]; }
-      std::vector<T>::reference operator[](Node n) { 
+      typename std::vector<T>::reference operator[](Node n) { 
 	return container[/*G.id(n)*/n.node->id]; }
-      std::vector<T>::const_reference operator[](Node n) const { 
+      typename std::vector<T>::const_reference operator[](Node n) const { 
 	return container[/*G.id(n)*/n.node->id]; 
       }
       void update() { container.resize(G.node_id); }
@@ -66,9 +66,9 @@
 	G(_G), container(G.edge_id, a) { }
       void set(Edge e, T a) { container[/*G.id(e)*/e.edge->id]=a; }
       T get(Edge e) const { return container[/*G.id(e)*/e.edge->id]; }
-      std::vector<T>::reference operator[](Edge e) { 
+      typename std::vector<T>::reference operator[](Edge e) { 
 	return container[/*G.id(e)*/e.edge->id]; } 
-      std::vector<T>::const_reference operator[](Edge e) const { 
+      typename std::vector<T>::const_reference operator[](Edge e) const { 
 	return container[/*G.id(e)*/e.edge->id]; 
       } 
       void update() { container.resize(G.edge_id); }