diff -r 82a2639a05bb -r 137278093143 lemon/time_measure.h
--- a/lemon/time_measure.h	Sun Mar 30 22:16:35 2008 +0100
+++ b/lemon/time_measure.h	Mon Mar 31 10:06:47 2008 +0100
@@ -343,7 +343,7 @@
 
     ///Halt (i.e stop immediately) the time counters
 
-    ///This function stops immediately the time counters, i.e. <tt>t.stop()</tt>
+    ///This function stops immediately the time counters, i.e. <tt>t.halt()</tt>
     ///is a faster
     ///equivalent of the following.
     ///\code