@@ -203,5 +203,5 @@
};
TimeStamp operator*(double b,const TimeStamp &t)
inline TimeStamp operator*(double b,const TimeStamp &t)
{
return t*b;