From b59ecaacb07ca826dd3b1f104593276bffbb5193 Mon Sep 17 00:00:00 2001
From: Tobias Hunger <tobias.hunger@qt.io>
Date: Tue, 3 Jul 2018 11:22:27 +0200
Subject: [PATCH] ProjectExplorer: Remove KitManager::deregisterKitInformation

It is unused and can not really be used in a safe way, so let's
just remove it.

Change-Id: I7926d1781f8f61d00fc3c516b8d1e2a01164a85a
Reviewed-by: Eike Ziller <eike.ziller@qt.io>
Reviewed-by: Ulf Hermann <ulf.hermann@qt.io>
---
 src/plugins/projectexplorer/kitmanager.cpp | 7 -------
 src/plugins/projectexplorer/kitmanager.h   | 1 -
 2 files changed, 8 deletions(-)

diff --git a/src/plugins/projectexplorer/kitmanager.cpp b/src/plugins/projectexplorer/kitmanager.cpp
index 7ecf374a357..9c6ceb6af59 100644
--- a/src/plugins/projectexplorer/kitmanager.cpp
+++ b/src/plugins/projectexplorer/kitmanager.cpp
@@ -283,13 +283,6 @@ void KitManager::registerKitInformation(KitInformation *ki)
     return;
 }
 
-void KitManager::deregisterKitInformation(KitInformation *ki)
-{
-    QTC_CHECK(d->m_informationList.contains(ki));
-    d->m_informationList.removeOne(ki);
-    delete ki;
-}
-
 QSet<Id> KitManager::supportedPlatforms()
 {
     QSet<Id> platforms;
diff --git a/src/plugins/projectexplorer/kitmanager.h b/src/plugins/projectexplorer/kitmanager.h
index ba9c316dcfd..6c034db4281 100644
--- a/src/plugins/projectexplorer/kitmanager.h
+++ b/src/plugins/projectexplorer/kitmanager.h
@@ -131,7 +131,6 @@ public:
     static void setDefaultKit(Kit *k);
 
     static void registerKitInformation(KitInformation *ki);
-    static void deregisterKitInformation(KitInformation *ki);
 
     static QSet<Core::Id> supportedPlatforms();
     static QSet<Core::Id> availableFeatures(Core::Id platformId);