1.1 --- a/doc/maps.dox	Thu Sep 30 09:24:01 2004 +0000
     1.2 +++ b/doc/maps.dox	Thu Sep 30 09:31:38 2004 +0000
     1.3 @@ -111,7 +111,7 @@
     1.4    const Graph::NodeMap<double> &pot;
     1.5    
     1.6  public:
     1.7 -  KeyType operator[](ValueType e) const {
     1.8 +  ValueType operator[](KeyType e) const {
     1.9      return orig_len.get(e)-pot.get(G.head(e))-pot.get(G.tail(e));
    1.10    }
    1.11