diff -r 07a549a6b9bf -r 097d7c4634ea lemon/time_measure.h
--- a/lemon/time_measure.h	Mon Feb 02 13:06:36 2009 +0100
+++ b/lemon/time_measure.h	Thu Mar 05 06:51:53 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;
   }