diff -r e0b0dcee5e17 -r 7b81a36809c6 src/lemon/time_measure.h
--- a/src/lemon/time_measure.h	Sun Jan 09 23:44:29 2005 +0000
+++ b/src/lemon/time_measure.h	Tue Jan 11 09:04:08 2005 +0000
@@ -187,11 +187,12 @@
     }
 
     ///Resets the time counters
-    TimeStamp reset()
+
+    ///Resets the time counters
+    ///
+    void reset()
     {
-      TimeStamp t(start_time);
       _reset();
-      return start_time-t;
     }