1.1 --- a/lemon/graph_reader.h	Tue Jan 31 20:14:52 2006 +0000
     1.2 +++ b/lemon/graph_reader.h	Tue Jan 31 20:16:53 2006 +0000
     1.3 @@ -316,7 +316,7 @@
     1.4      /// \brief Gives back the node by its label.
     1.5      ///
     1.6      /// It reads an label from the stream and gives back which node belongs to
     1.7 -    /// it. It is possible only if there was read an "label" named node map.
     1.8 +    /// it. It is possible only if there was read a "label" named node map.
     1.9      void readLabel(std::istream& is, Node& node) const {
    1.10        nodeset_reader.readLabel(is, node);
    1.11      } 
    1.12 @@ -324,7 +324,7 @@
    1.13      /// \brief Gives back the edge by its label.
    1.14      ///
    1.15      /// It reads an label from the stream and gives back which edge belongs to
    1.16 -    /// it. It is possible only if there was read an "label" named edge map.
    1.17 +    /// it. It is possible only if there was read a "label" named edge map.
    1.18      void readLabel(std::istream& is, Edge& edge) const {
    1.19        return edgeset_reader.readLabel(is, edge);
    1.20      } 
    1.21 @@ -722,15 +722,15 @@
    1.22      /// \brief Gives back the node by its label.
    1.23      ///
    1.24      /// It reads an label from the stream and gives back which node belongs to
    1.25 -    /// it. It is possible only if there was read an "label" named node map.
    1.26 +    /// it. It is possible only if there was read a "label" named node map.
    1.27      void readLabel(std::istream& is, Node& node) const {
    1.28        return nodeset_reader.readLabel(is, node);
    1.29      } 
    1.30  
    1.31 -    /// \brief Gives back the edge by its label.
    1.32 +    /// \brief Gives back the edge by its label
    1.33      ///
    1.34      /// It reads an label from the stream and gives back which edge belongs to
    1.35 -    /// it. It is possible only if there was read an "label" named edge map.
    1.36 +    /// it. It is possible only if there was read a "label" named edge map.
    1.37      void readLabel(std::istream& is, Edge& edge) const {
    1.38        return u_edgeset_reader.readLabel(is, edge);
    1.39      } 
    1.40 @@ -738,7 +738,7 @@
    1.41      /// \brief Gives back the undirected edge by its label.
    1.42      ///
    1.43      /// It reads an label from the stream and gives back which undirected edge 
    1.44 -    /// belongs to it. It is possible only if there was read an "label" named 
    1.45 +    /// belongs to it. It is possible only if there was read a "label" named 
    1.46      /// edge map.
    1.47      void readLabel(std::istream& is, UEdge& uedge) const {
    1.48        return u_edgeset_reader.readLabel(is, uedge);