# HG changeset patch
# User deba
# Date 1133802238 0
# Node ID 291764ce6d910c9636d6ba6e1855a71dfdacac0a
# Parent  7cbc12e4248291457e314ec4806a1f2f2529ca37
Doc bug fix

diff -r 7cbc12e42482 -r 291764ce6d91 doc/graph_io.dox
--- a/doc/graph_io.dox	Mon Dec 05 17:03:31 2005 +0000
+++ b/doc/graph_io.dox	Mon Dec 05 17:03:58 2005 +0000
@@ -452,7 +452,7 @@
   undirEdgesetReader(reader, network, nodesetReader);
 undirEdgesetReader.readEdgeMap("capacity", capacity);
 EdgeSetReader<ListEdgeSet<UndirListGraph> > 
-  edgesetReader(reader, traffic, nodesetReader);
+  edgesetReader(reader, traffic, nodesetReader, "traffic");
 edgesetReader.readEdgeMap("request", request);
 
 reader.run();
@@ -475,7 +475,7 @@
 UndirGraphReader<UndirListGraph> reader(std::cin, network);
 reader.readEdgeMap("capacity", capacity);
 EdgeSetReader<ListEdgeSet<UndirListGraph> > 
-  edgesetReader(reader, traffic, reader);
+  edgesetReader(reader, traffic, reader, "traffic");
 edgesetReader.readEdgeMap("request", request);
 
 reader.run();