1.1 --- a/lemon/time_measure.h	Sun Mar 30 22:16:35 2008 +0100
     1.2 +++ b/lemon/time_measure.h	Mon Mar 31 10:06:47 2008 +0100
     1.3 @@ -343,7 +343,7 @@
     1.4  
     1.5      ///Halt (i.e stop immediately) the time counters
     1.6  
     1.7 -    ///This function stops immediately the time counters, i.e. <tt>t.stop()</tt>
     1.8 +    ///This function stops immediately the time counters, i.e. <tt>t.halt()</tt>
     1.9      ///is a faster
    1.10      ///equivalent of the following.
    1.11      ///\code