KenLM 85c82bd, revamp Moses timer to have more precision

1 files changed, 2 insertions, 5 deletions

diff --git a/moses/Timer.h b/moses/Timer.h
index a6bd0e91a..e4da7fece 100644
--- a/moses/Timer.h
+++ b/moses/Timer.h
@@ -22,15 +22,12 @@ private:
   bool running;
   // note: this only has the resolution of seconds, we'd often like better resolution
   // we make our best effort to do this on a system-by-system basis
-  time_t start_time;
-
-  // in seconds
-  double elapsed_time();
+  double start_time;
 
 public:
   /***
    * 'running' is initially false.  A timer needs to be explicitly started
-   * using 'start' or 'restart'
+   * using 'start'
    */
   Timer() : running(false) {
     start_time = 0;