fix an error in TimerStat

diff --git a/src/util/stats.h b/src/util/stats.h
index 74afb5792a291cee287df6841ccfde2339d4d6de..a005c7689e5c7b85de9cfeff01630814afa09269 100644 (file)
--- a/src/util/stats.h
+++ b/src/util/stats.h
@@ -326,6 +326,7 @@ public:
     if(__CVC4_USE_STATISTICS) {
       AlwaysAssert(!d_running);
       clock_gettime(CLOCK_REALTIME, &d_start);
+      d_running = true;
     }
   }
 
@@ -335,6 +336,7 @@ public:
       ::timespec end;
       clock_gettime(CLOCK_REALTIME, &end);
       d_data += end - d_start;
+      d_running = false;
     }
   }
 };/* class TimerStat */