1.1 --- a/doc/graph_io.dox	Mon Dec 05 17:03:31 2005 +0000
     1.2 +++ b/doc/graph_io.dox	Mon Dec 05 17:03:58 2005 +0000
     1.3 @@ -452,7 +452,7 @@
     1.4    undirEdgesetReader(reader, network, nodesetReader);
     1.5  undirEdgesetReader.readEdgeMap("capacity", capacity);
     1.6  EdgeSetReader<ListEdgeSet<UndirListGraph> > 
     1.7 -  edgesetReader(reader, traffic, nodesetReader);
     1.8 +  edgesetReader(reader, traffic, nodesetReader, "traffic");
     1.9  edgesetReader.readEdgeMap("request", request);
    1.10  
    1.11  reader.run();
    1.12 @@ -475,7 +475,7 @@
    1.13  UndirGraphReader<UndirListGraph> reader(std::cin, network);
    1.14  reader.readEdgeMap("capacity", capacity);
    1.15  EdgeSetReader<ListEdgeSet<UndirListGraph> > 
    1.16 -  edgesetReader(reader, traffic, reader);
    1.17 +  edgesetReader(reader, traffic, reader, "traffic");
    1.18  edgesetReader.readEdgeMap("request", request);
    1.19  
    1.20  reader.run();