From b5860ee361bb18c45b20b422864d8a2661280c0b Mon Sep 17 00:00:00 2001
From: Yehuda Sadeh <yehuda@hq.newdream.net>
Date: Thu, 19 Feb 2009 15:41:36 -0800
Subject: [PATCH] common: virtual destructor for class Timer

---
 src/common/Timer.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/common/Timer.h b/src/common/Timer.h
index 515371c4d843b..bd1543de29586 100644
--- 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();
 
-- 
2.39.5