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 |