From e7a6ce362615b16e27b7ec6ac3485b1ae173d9d6 Mon Sep 17 00:00:00 2001
From: Mikhail Glukhikh <mikhail.glukhikh@jetbrains.com>
Date: Tue, 11 Sep 2018 15:18:08 +0300
Subject: [PATCH] NativeIdePlatformKind: remove unused

---
 .../org/jetbrains/kotlin/ide/konan/NativeIdePlatformKind.kt  | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/idea/idea-native/src/org/jetbrains/kotlin/ide/konan/NativeIdePlatformKind.kt b/idea/idea-native/src/org/jetbrains/kotlin/ide/konan/NativeIdePlatformKind.kt
index 3d3414992ae..ed89695c6ff 100644
--- a/idea/idea-native/src/org/jetbrains/kotlin/ide/konan/NativeIdePlatformKind.kt
+++ b/idea/idea-native/src/org/jetbrains/kotlin/ide/konan/NativeIdePlatformKind.kt
@@ -40,8 +40,3 @@ object NativeIdePlatformKind : IdePlatformKind<NativeIdePlatformKind>() {
 // These are fake compiler arguments for Kotlin/Native - only for usage within IDEA plugin:
 class FakeK2NativeCompilerArguments : CommonCompilerArguments()
 
-val IdePlatformKind<*>?.isKotlinNative
-    get() = this === NativeIdePlatformKind
-
-val IdePlatform<*, *>?.isKotlinNative
-    get() = this === NativeIdePlatformKind.Platform