oops nevermind

diff --git a/otk/timer.hh b/otk/timer.hh
index 7e40aed73fb83947277ebc2a8cb9c931266bbc61..556475c19296a7828f6bb3314e246d0a20aa69d2 100644 (file)
--- a/otk/timer.hh
+++ b/otk/timer.hh
@@ -73,9 +73,6 @@ private:
   */
   static void timevalAdd(timeval &a, long msec);
 
-  // prevent people from using timers except as pointers
-  ~Timer() {}
-  
 public:
   //! Constructs a new running timer and queues it
   /*!