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