diff --git a/src/plugins/projectexplorer/devicesupport/devicemanager.cpp b/src/plugins/projectexplorer/devicesupport/devicemanager.cpp
index 309dd21ba63..4afb2132b06 100644
--- a/src/plugins/projectexplorer/devicesupport/devicemanager.cpp
+++ b/src/plugins/projectexplorer/devicesupport/devicemanager.cpp
@@ -405,7 +405,7 @@ IDevice::Id DeviceManager::internalId(const IDevice::ConstPtr &device) const
     return device ? device->internalId() : IDevice::invalidId();
 }
 
-int DeviceManager::indexOf(const IDevice *device) const
+int DeviceManager::indexOf(const IDevice::ConstPtr &device) const
 {
     return indexForInternalId(device->internalId());
 }
diff --git a/src/plugins/projectexplorer/devicesupport/devicemanager.h b/src/plugins/projectexplorer/devicesupport/devicemanager.h
index 67d4eff1398..fd94ae0af91 100644
--- a/src/plugins/projectexplorer/devicesupport/devicemanager.h
+++ b/src/plugins/projectexplorer/devicesupport/devicemanager.h
@@ -64,7 +64,7 @@ public:
     bool hasDevice(const QString &name) const;
     IDevice::Id internalId(const IDevice::ConstPtr &device) const;
 
-    int indexOf(const IDevice *device) const;
+    int indexOf(const IDevice::ConstPtr &device) const;
 
     void addDevice(const IDevice::Ptr &device);
     void removeDevice(int index);