Index: Source/core/rendering/RenderMedia.h |
diff --git a/Source/core/rendering/RenderMedia.h b/Source/core/rendering/RenderMedia.h |
index 03dc797017175c03c80296bd3f1ef7c338d3beab..b79c0ae13f8e4e3d8e3c09d788acdf77e3e93880 100644 |
--- a/Source/core/rendering/RenderMedia.h |
+++ b/Source/core/rendering/RenderMedia.h |
@@ -46,7 +46,7 @@ public: |
HTMLMediaElement* mediaElement() const; |
protected: |
- virtual void layout(); |
+ virtual void layout() OVERRIDE; |
private: |
virtual RenderObjectChildList* virtualChildren() OVERRIDE FINAL { return children(); } |