# HG changeset patch
# User alpar
# Date 1138738613 0
# Node ID 67b38d699ea7ce15550d3bb1ac242fca72f937f9
# Parent  272fa8a0b680a3d159381595051d049461f45a1c
Spellcheck

diff -r 272fa8a0b680 -r 67b38d699ea7 lemon/graph_reader.h
--- a/lemon/graph_reader.h	Tue Jan 31 20:14:52 2006 +0000
+++ b/lemon/graph_reader.h	Tue Jan 31 20:16:53 2006 +0000
@@ -316,7 +316,7 @@
     /// \brief Gives back the node by its label.
     ///
     /// It reads an label from the stream and gives back which node belongs to
-    /// it. It is possible only if there was read an "label" named node map.
+    /// it. It is possible only if there was read a "label" named node map.
     void readLabel(std::istream& is, Node& node) const {
       nodeset_reader.readLabel(is, node);
     } 
@@ -324,7 +324,7 @@
     /// \brief Gives back the edge by its label.
     ///
     /// It reads an label from the stream and gives back which edge belongs to
-    /// it. It is possible only if there was read an "label" named edge map.
+    /// it. It is possible only if there was read a "label" named edge map.
     void readLabel(std::istream& is, Edge& edge) const {
       return edgeset_reader.readLabel(is, edge);
     } 
@@ -722,15 +722,15 @@
     /// \brief Gives back the node by its label.
     ///
     /// It reads an label from the stream and gives back which node belongs to
-    /// it. It is possible only if there was read an "label" named node map.
+    /// it. It is possible only if there was read a "label" named node map.
     void readLabel(std::istream& is, Node& node) const {
       return nodeset_reader.readLabel(is, node);
     } 
 
-    /// \brief Gives back the edge by its label.
+    /// \brief Gives back the edge by its label
     ///
     /// It reads an label from the stream and gives back which edge belongs to
-    /// it. It is possible only if there was read an "label" named edge map.
+    /// it. It is possible only if there was read a "label" named edge map.
     void readLabel(std::istream& is, Edge& edge) const {
       return u_edgeset_reader.readLabel(is, edge);
     } 
@@ -738,7 +738,7 @@
     /// \brief Gives back the undirected edge by its label.
     ///
     /// It reads an label from the stream and gives back which undirected edge 
-    /// belongs to it. It is possible only if there was read an "label" named 
+    /// belongs to it. It is possible only if there was read a "label" named 
     /// edge map.
     void readLabel(std::istream& is, UEdge& uedge) const {
       return u_edgeset_reader.readLabel(is, uedge);