Index: Source/modules/push_messaging/PushRegistration.h |
diff --git a/Source/modules/push_messaging/PushRegistration.h b/Source/modules/push_messaging/PushRegistration.h |
index aee30624d8652a8108ad977bef558af6380f986a..dc434d6fdd407da582bdf2f06839d91f408e161c 100644 |
--- a/Source/modules/push_messaging/PushRegistration.h |
+++ b/Source/modules/push_messaging/PushRegistration.h |
@@ -26,7 +26,7 @@ public: |
const String& pushEndpoint() const { return m_pushEndpoint; } |
const String& pushRegistrationId() const { return m_pushRegistrationId; } |
- void trace(Visitor*) { } |
+ virtual void trace(Visitor*) { } |
private: |
PushRegistration(const String& pushEndpoint, const String& pushRegistrationId); |