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