diff -r d8107ae24128 -r 992aac9c9541 doc/maps.dox --- a/doc/maps.dox Fri Mar 19 07:58:58 2004 +0000 +++ b/doc/maps.dox Fri Mar 19 07:59:52 2004 +0000 @@ -13,7 +13,7 @@ \code class MyMap { - double get(Graph::EdgeIt e) { return M_PI;} + double get(Graph::EdgeIt e) const { return M_PI;} }; \endcode @@ -22,7 +22,7 @@ \code class MyMap { - double operator[](Graph::EdgeIt e) { return 1;} + double operator[](Graph::EdgeIt e) const { return 1;} }; \endcode