| Index: Source/core/dom/Notation.h
|
| diff --git a/Source/core/dom/Notation.h b/Source/core/dom/Notation.h
|
| index b2155ba05900d238086438fd62d1ec4fbb461e9b..a86082ffa839216fdddd75a8d1f308333a24632c 100644
|
| --- a/Source/core/dom/Notation.h
|
| +++ b/Source/core/dom/Notation.h
|
| @@ -28,7 +28,7 @@ namespace WebCore {
|
|
|
| // FIXME: This class is never instantiated. Maybe it should be removed.
|
|
|
| -class Notation : public ContainerNode {
|
| +class Notation FINAL : public ContainerNode {
|
| public:
|
| const String& publicId() const { return m_publicId; }
|
| const String& systemId() const { return m_systemId; }
|
|
|