| Index: Source/core/html/PublicURLManager.h
|
| diff --git a/Source/core/html/PublicURLManager.h b/Source/core/html/PublicURLManager.h
|
| index f613b393218749e8ad615d61450a7edeb1f5026e..029e6ef8d6a99b2ec4dc7c18086382684ff8adf3 100644
|
| --- a/Source/core/html/PublicURLManager.h
|
| +++ b/Source/core/html/PublicURLManager.h
|
| @@ -54,7 +54,7 @@ public:
|
| // ActiveDOMObject interface.
|
| virtual void stop() override;
|
|
|
| - virtual void trace(Visitor*) override;
|
| + DECLARE_VIRTUAL_TRACE();
|
|
|
| private:
|
| explicit PublicURLManager(ExecutionContext*);
|
|
|