| Index: Source/core/rendering/RenderCounter.h | 
| diff --git a/Source/core/rendering/RenderCounter.h b/Source/core/rendering/RenderCounter.h | 
| index e632177790142a28770eae7bd27486e2971f9654..4f5202f8178b478f3b9b90a6951a4c6114a4bb37 100644 | 
| --- a/Source/core/rendering/RenderCounter.h | 
| +++ b/Source/core/rendering/RenderCounter.h | 
| @@ -33,6 +33,7 @@ class RenderCounter FINAL : public RenderText { | 
| public: | 
| RenderCounter(Document*, const CounterContent&); | 
| virtual ~RenderCounter(); | 
| +    virtual void destroy() OVERRIDE; | 
|  | 
| static void destroyCounterNodes(RenderObject&); | 
| static void destroyCounterNode(RenderObject&, const AtomicString& identifier); | 
|  |