Chromium Code Reviews| Index: Source/core/html/PublicURLManager.h |
| diff --git a/Source/core/html/PublicURLManager.h b/Source/core/html/PublicURLManager.h |
| index fb75053b4b9cb278319fae0be94ccac9ac446d01..d2415a5817e0342621bd7a99455fb04cd156afab 100644 |
| --- a/Source/core/html/PublicURLManager.h |
| +++ b/Source/core/html/PublicURLManager.h |
| @@ -52,7 +52,7 @@ public: |
| void revoke(const String& uuid); |
| // ActiveDOMObject interface. |
| - virtual void stop() override; |
| + void stop() override; |
| DECLARE_VIRTUAL_TRACE(); |