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    }