Index: sid/component/timers/arm7t/arm7t-timer.h
===================================================================
RCS file: /cvs/src/src/sid/component/timers/arm7t/arm7t-timer.h,v
retrieving revision 1.3
diff -c -p -r1.3 arm7t-timer.h
*** sid/component/timers/arm7t/arm7t-timer.h	12 Feb 2005 16:25:47 -0000	1.3
--- sid/component/timers/arm7t/arm7t-timer.h	2 Mar 2007 17:01:37 -0000
*************** class armTimerNoSched: public armTimer
*** 142,147 ****
--- 142,148 ----
  {
  public:
    armTimerNoSched();
+   ~armTimerNoSched() throw () {}
  
  private:
    callback_pin<armTimerNoSched> clockpin;