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(); |