# HG changeset patch
# User ladanyi
# Date 1096536698 0
# Node ID dec4eef5a65cab5c5f58215f494bed45cfc74d2d
# Parent  b53cb2242a42dfaf80c07da0ef0b3ddf8b98abd9
minor correction

diff -r b53cb2242a42 -r dec4eef5a65c doc/maps.dox
--- a/doc/maps.dox	Thu Sep 30 09:24:01 2004 +0000
+++ b/doc/maps.dox	Thu Sep 30 09:31:38 2004 +0000
@@ -111,7 +111,7 @@
   const Graph::NodeMap<double> &pot;
   
 public:
-  KeyType operator[](ValueType e) const {
+  ValueType operator[](KeyType e) const {
     return orig_len.get(e)-pot.get(G.head(e))-pot.get(G.tail(e));
   }