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