@@ -204,3 +204,3 @@
TimeStamp operator*(double b,const TimeStamp &t)
inline TimeStamp operator*(double b,const TimeStamp &t)
{