Index: Source/platform/Timer.h |
diff --git a/Source/platform/Timer.h b/Source/platform/Timer.h |
index 5f652c9f48ef63656c948ad2ae5e9e3338315003..0dc074b6b5738c87121fe33acd27d6c0735efcb1 100644 |
--- a/Source/platform/Timer.h |
+++ b/Source/platform/Timer.h |
@@ -73,6 +73,8 @@ public: |
static void fireTimersInNestedEventLoop(); |
+ virtual void trace(Visitor*) { } |
+ |
private: |
virtual void fired() = 0; |