diff -r d59dcc933e59 -r 94387da47f79 lemon/time_measure.h
--- a/lemon/time_measure.h	Wed Mar 04 14:09:45 2009 +0000
+++ b/lemon/time_measure.h	Thu Mar 05 10:13:20 2009 +0000
@@ -202,7 +202,7 @@
     double realTime() const {return rtime;}
   };
 
-  TimeStamp operator*(double b,const TimeStamp &t)
+  inline TimeStamp operator*(double b,const TimeStamp &t)
   {
     return t*b;
   }