1 files changed, 4 insertions, 8 deletions
diff --git a/otk/timer.cc b/otk/timer.cc
index bde95f89..3f1afea0 100644
--- a/otk/timer.cc
+++ b/otk/timer.cc
@@ -77,15 +77,11 @@ void OBTimer::start(void)
 
 void OBTimer::stop(void)
 {
-  timing = false;
+  if (timing) {
+    timing = false;
 
-  manager->removeTimer(this);
-}
-
-
-void OBTimer::halt(void)
-{
-  timing = false;
+    manager->removeTimer(this);
+  }
 }