1.1 --- a/src/hugo/path.h	Wed Sep 22 09:55:41 2004 +0000
     1.2 +++ b/src/hugo/path.h	Wed Sep 22 09:58:17 2004 +0000
     1.3 @@ -267,7 +267,8 @@
     1.4  
     1.5        /// Sets the starting node of the path. Edge added to the path
     1.6        /// afterwards have to be incident to this node.
     1.7 -      /// It should be called iff the path is empty and before any call to
     1.8 +      /// It should be called if and only if
     1.9 +      /// the path is empty and before any call to
    1.10        /// \ref pushFront() or \ref pushBack()
    1.11        void setStartNode(const GraphNode &) {}
    1.12  
    1.13 @@ -606,7 +607,8 @@
    1.14  
    1.15        /// Sets the starting node of the path. Edge added to the path
    1.16        /// afterwards have to be incident to this node.
    1.17 -      /// It should be called iff the path is empty and before any call to
    1.18 +      /// It should be called if and only if
    1.19 +      /// the path is empty and before any call to
    1.20        /// \ref pushFront() or \ref pushBack()
    1.21        void setStartNode(const GraphNode &) {}
    1.22