# HG changeset patch
# User alpar
# Date 1077711088 0
# Node ID f3511cffee1142542cfe43bb540ee3b5cf8759f4
# Parent  dcace15b1874ccddf38be4d94bbac78eb07f07fd
.

diff -r dcace15b1874 -r f3511cffee11 src/work/marci/time_measure.h
--- a/src/work/marci/time_measure.h	Tue Feb 24 18:22:53 2004 +0000
+++ b/src/work/marci/time_measure.h	Wed Feb 25 12:11:28 2004 +0000
@@ -97,7 +97,7 @@
   TimeStamp start_time;
 
   void _reset() {start_time.stamp();}
-
+  
 public: 
   Timer() {_reset();}
 
@@ -107,14 +107,13 @@
     t.stamp();
     return t-start_time;
   }
-  
+
   TimeStamp reset()
   {
     TimeStamp t(start_time);
     _reset();
     return start_time-t;
   }
-
 };
 
 inline std::ostream& operator<<(std::ostream& os,const TimeStamp &t)