1.1 --- a/src/work/marci/graph_wrapper.h	Wed Apr 21 08:14:44 2004 +0000
     1.2 +++ b/src/work/marci/graph_wrapper.h	Wed Apr 21 12:31:51 2004 +0000
     1.3 @@ -394,9 +394,10 @@
     1.4      bool hidden(const Edge& e) const { return (*edge_filter_map)[e]; }
     1.5    };
     1.6  
     1.7 -  /// A wrapper for getting an undirected graph by forgetting the orientation of a directed one.
     1.8 +  /// A wrapper for forgetting the orientation of a graph.
     1.9  
    1.10 -  /// A wrapper for getting an undirected graph by forgetting the orientation of a directed one.
    1.11 +  /// A wrapper for getting an undirected graph by forgetting
    1.12 +  /// the orientation of a directed one.
    1.13    template<typename Graph>
    1.14    class UndirGraphWrapper : public GraphWrapper<Graph> {
    1.15    public: