From 1e3c40cf9cc65af3395cd38f7bc78dfd18a68366 Mon Sep 17 00:00:00 2001 From: Alexander Udalov Date: Mon, 4 Mar 2019 19:28:00 +0100 Subject: [PATCH] Use JvmTarget.DEFAULT instead of JVM_1_6 where applicable Original commit: c7c377e1b1183339923342773f776fc6a671cb46 --- .../org/jetbrains/kotlin/platform/impl/JvmIdePlatformKind.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jps/jps-common/src/org/jetbrains/kotlin/platform/impl/JvmIdePlatformKind.kt b/jps/jps-common/src/org/jetbrains/kotlin/platform/impl/JvmIdePlatformKind.kt index a4aa3a3b836..88cc0a8724b 100644 --- a/jps/jps-common/src/org/jetbrains/kotlin/platform/impl/JvmIdePlatformKind.kt +++ b/jps/jps-common/src/org/jetbrains/kotlin/platform/impl/JvmIdePlatformKind.kt @@ -25,7 +25,7 @@ object JvmIdePlatformKind : IdePlatformKind() { override val compilerPlatform get() = JvmPlatform override val platforms = JvmTarget.values().map { ver -> Platform(ver) } - override val defaultPlatform get() = Platform(JvmTarget.JVM_1_6) + override val defaultPlatform get() = Platform(JvmTarget.DEFAULT) override val argumentsClass get() = K2JVMCompilerArguments::class.java