Index: content/common/pepper_plugin_registry.h |
diff --git a/content/common/pepper_plugin_registry.h b/content/common/pepper_plugin_registry.h |
index 922a6e0a841620641e70c5b694e9791c6d1c820c..c6a664e9a8927cb57613577da6f5e5aecbee3f5f 100644 |
--- a/content/common/pepper_plugin_registry.h |
+++ b/content/common/pepper_plugin_registry.h |
@@ -64,7 +64,8 @@ class PepperPluginRegistry |
void AddLiveModule(const FilePath& path, webkit::ppapi::PluginModule* module); |
// ModuleLifetime implementation. |
- virtual void PluginModuleDead(webkit::ppapi::PluginModule* dead_module); |
+ virtual void PluginModuleDead( |
+ webkit::ppapi::PluginModule* dead_module) OVERRIDE; |
private: |
PepperPluginRegistry(); |