changeset 1069 | 7b81a36809c6 |
parent 1005 | 63ccf7136641 |
child 1164 | 80bb73097736 |
1.1 --- a/src/lemon/time_measure.h Sun Jan 09 23:44:29 2005 +0000 1.2 +++ b/src/lemon/time_measure.h Tue Jan 11 09:04:08 2005 +0000 1.3 @@ -187,11 +187,12 @@ 1.4 } 1.5 1.6 ///Resets the time counters 1.7 - TimeStamp reset() 1.8 + 1.9 + ///Resets the time counters 1.10 + /// 1.11 + void reset() 1.12 { 1.13 - TimeStamp t(start_time); 1.14 _reset(); 1.15 - return start_time-t; 1.16 } 1.17 1.18