diff --git a/src/common/blkdev.cc b/src/common/blkdev.cc index 8d524818e89..621e0b9087c 100644 --- a/src/common/blkdev.cc +++ b/src/common/blkdev.cc @@ -336,7 +336,7 @@ int get_device_by_uuid(uuid_d dev_uuid, const char* label, char* partition, return -EOPNOTSUPP; } -void get_dm_parents(const string& dev, set *ls) +void get_dm_parents(const std::string& dev, std::set *ls) { } @@ -376,7 +376,7 @@ int get_device_by_fd(int fd, char *partition, char *device, size_t max) return -EOPNOTSUPP; } -void get_dm_parents(const string& dev, set *ls) +void get_dm_parents(const std::string& dev, std::set *ls) { } @@ -411,7 +411,7 @@ int get_device_by_fd(int fd, char *partition, char *device, size_t max) { return -EOPNOTSUPP; } -void get_dm_parents(const string& dev, set *ls) +void get_dm_parents(const std::string& dev, std::set *ls) { } #endif