| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index ae63cc95390611c3dfd7553cbb054fc9daf76048..77e763e72dd9687e72fd34600075b89294ccf8e2 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -76,7 +76,7 @@ public:
|
| static void setMediaStreamRegistry(URLRegistry*);
|
| static bool isMediaStreamURL(const String& url);
|
|
|
| - virtual void trace(Visitor*) override;
|
| + DECLARE_VIRTUAL_TRACE();
|
| #if ENABLE(WEB_AUDIO)
|
| void clearWeakMembers(Visitor*);
|
| #endif
|
|
|