# HG changeset patch
# User alpar
# Date 1082550711 0
# Node ID b4dcbe3e3b8ffe62bba2222a1ab00af5a7e13996
# Parent  c6ccd4b430d3271de6446929d09946e74cc9987e
.

diff -r c6ccd4b430d3 -r b4dcbe3e3b8f src/work/marci/graph_wrapper.h
--- a/src/work/marci/graph_wrapper.h	Wed Apr 21 08:14:44 2004 +0000
+++ b/src/work/marci/graph_wrapper.h	Wed Apr 21 12:31:51 2004 +0000
@@ -394,9 +394,10 @@
     bool hidden(const Edge& e) const { return (*edge_filter_map)[e]; }
   };
 
-  /// A wrapper for getting an undirected graph by forgetting the orientation of a directed one.
+  /// A wrapper for forgetting the orientation of a graph.
 
-  /// A wrapper for getting an undirected graph by forgetting the orientation of a directed one.
+  /// A wrapper for getting an undirected graph by forgetting
+  /// the orientation of a directed one.
   template<typename Graph>
   class UndirGraphWrapper : public GraphWrapper<Graph> {
   public: