| Index: chrome/browser/policy/device_management_service_configuration.h
|
| diff --git a/chrome/browser/policy/device_management_service_configuration.h b/chrome/browser/policy/device_management_service_configuration.h
|
| index 1d1e3aa0a3bd08d8782cc427d121529ebd6f2f97..98cb681802d9fd14ccf8539c67d1c6b3c1dc3093 100644
|
| --- a/chrome/browser/policy/device_management_service_configuration.h
|
| +++ b/chrome/browser/policy/device_management_service_configuration.h
|
| @@ -19,11 +19,11 @@ class DeviceManagementServiceConfiguration
|
| : public DeviceManagementService::Configuration {
|
| public:
|
| explicit DeviceManagementServiceConfiguration(const std::string& server_url);
|
| - virtual ~DeviceManagementServiceConfiguration();
|
| + ~DeviceManagementServiceConfiguration() override;
|
|
|
| - virtual std::string GetServerUrl() override;
|
| - virtual std::string GetAgentParameter() override;
|
| - virtual std::string GetPlatformParameter() override;
|
| + std::string GetServerUrl() override;
|
| + std::string GetAgentParameter() override;
|
| + std::string GetPlatformParameter() override;
|
|
|
| private:
|
| const std::string server_url_;
|
|
|