From 51cb9c12e4db76a552ada7445b346fe1ac3e68ef Mon Sep 17 00:00:00 2001
From: Simon Ogorodnik <Simon.Ogorodnik@jetbrains.com>
Date: Thu, 27 Sep 2018 18:24:00 +0300
Subject: Remove implied platforms

---
 core/src/main/kotlin/Formats/KotlinWebsiteHtmlFormatService.kt | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'core/src')

diff --git a/core/src/main/kotlin/Formats/KotlinWebsiteHtmlFormatService.kt b/core/src/main/kotlin/Formats/KotlinWebsiteHtmlFormatService.kt
index d2321ad9..1a674626 100644
--- a/core/src/main/kotlin/Formats/KotlinWebsiteHtmlFormatService.kt
+++ b/core/src/main/kotlin/Formats/KotlinWebsiteHtmlFormatService.kt
@@ -129,10 +129,7 @@ open class KotlinWebsiteHtmlOutputBuilder(
 
         val kotlinVersion = platforms.singleOrNull(String::isKotlinVersion)?.removePrefix("Kotlin ")
         val jreVersion = platforms.singleOrNull(String::isJREVersion)
-        val targetPlatforms =
-                platforms.filterNot { it.isKotlinVersion() || it.isJREVersion() }
-                        .takeUnless { it.intersect(impliedPlatforms).containsAll(impliedPlatforms) }
-                        .orEmpty()
+        val targetPlatforms = platforms.filterNot { it.isKotlinVersion() || it.isJREVersion() }
 
         return mapOf(
                 "platform" to targetPlatforms,
-- 
cgit