1.1 --- a/src/work/marci/time_measure.h	Tue Feb 24 18:22:53 2004 +0000
     1.2 +++ b/src/work/marci/time_measure.h	Wed Feb 25 12:11:28 2004 +0000
     1.3 @@ -97,7 +97,7 @@
     1.4    TimeStamp start_time;
     1.5  
     1.6    void _reset() {start_time.stamp();}
     1.7 -
     1.8 +  
     1.9  public: 
    1.10    Timer() {_reset();}
    1.11  
    1.12 @@ -107,14 +107,13 @@
    1.13      t.stamp();
    1.14      return t-start_time;
    1.15    }
    1.16 -  
    1.17 +
    1.18    TimeStamp reset()
    1.19    {
    1.20      TimeStamp t(start_time);
    1.21      _reset();
    1.22      return start_time-t;
    1.23    }
    1.24 -
    1.25  };
    1.26  
    1.27  inline std::ostream& operator<<(std::ostream& os,const TimeStamp &t)