| 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);
|
|
|