| Index: Source/core/rendering/RenderMedia.h
|
| diff --git a/Source/core/rendering/RenderMedia.h b/Source/core/rendering/RenderMedia.h
|
| index a5cda7b6274bcb36ce0e35af7fb720f5adc8cc97..a70afc293b276fb350a1cf5333141d9f61ff00d5 100644
|
| --- a/Source/core/rendering/RenderMedia.h
|
| +++ b/Source/core/rendering/RenderMedia.h
|
| @@ -36,7 +36,6 @@
|
| public:
|
| explicit RenderMedia(HTMLMediaElement*);
|
| virtual ~RenderMedia();
|
| - virtual void trace(Visitor*) OVERRIDE;
|
|
|
| RenderObject* firstChild() const { ASSERT(children() == virtualChildren()); return children()->firstChild(); }
|
| RenderObject* lastChild() const { ASSERT(children() == virtualChildren()); return children()->lastChild(); }
|
|
|