| Index: Source/core/html/HTMLViewSourceDocument.h
|
| diff --git a/Source/core/html/HTMLViewSourceDocument.h b/Source/core/html/HTMLViewSourceDocument.h
|
| index bd36f5bdd3d23082c343a54daa08c914c0574f75..b1c0dc218f6ec409c0334545d32333d4244f4ec0 100644
|
| --- a/Source/core/html/HTMLViewSourceDocument.h
|
| +++ b/Source/core/html/HTMLViewSourceDocument.h
|
| @@ -47,6 +47,10 @@ public:
|
|
|
| void addSource(const String&, HTMLToken&, SourceAnnotation);
|
|
|
| +#if !ENABLE(OILPAN)
|
| + void dispose() override;
|
| +#endif
|
| +
|
| DECLARE_VIRTUAL_TRACE();
|
|
|
| private:
|
|
|