changeset 537 | 94387da47f79 |
parent 492 | b9b3473327e3 |
parent 536 | 097d7c4634ea |
child 576 | 33c6b6e755cd |
1.1 --- a/lemon/time_measure.h Wed Mar 04 14:09:45 2009 +0000 1.2 +++ b/lemon/time_measure.h Thu Mar 05 10:13:20 2009 +0000 1.3 @@ -202,7 +202,7 @@ 1.4 double realTime() const {return rtime;} 1.5 }; 1.6 1.7 - TimeStamp operator*(double b,const TimeStamp &t) 1.8 + inline TimeStamp operator*(double b,const TimeStamp &t) 1.9 { 1.10 return t*b; 1.11 }