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