common: virtual destructor for class Timer

diff --git a/src/common/Timer.h b/src/common/Timer.h
index 515371c4d843bdf6676ee3373d7b83e330f074d4..bd1543de295866b8dad4826ca3ac657d3c3ce60e 100644 (file)
--- a/src/common/Timer.h
+++ b/src/common/Timer.h
@@ -94,7 +94,7 @@ class Timer {
     num_event(0)
   { 
   }
-  ~Timer() { 
+  virtual ~Timer() {
     // stop.
     cancel_timer();