1.1 --- a/lemon/time_measure.h	Mon Feb 02 13:06:36 2009 +0100
     1.2 +++ b/lemon/time_measure.h	Thu Mar 05 06:51:53 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    }