From b744ed0fd3a25e598424b321e0bec45600e3324f Mon Sep 17 00:00:00 2001 From: Denis Zharkov Date: Thu, 14 Sep 2017 10:28:46 +0300 Subject: [PATCH] Minor. Remove unused properties --- .../src/org/jetbrains/kotlin/utils/Jsr305State.kt | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/core/util.runtime/src/org/jetbrains/kotlin/utils/Jsr305State.kt b/core/util.runtime/src/org/jetbrains/kotlin/utils/Jsr305State.kt index 23705229eaa..ffa4519ea99 100644 --- a/core/util.runtime/src/org/jetbrains/kotlin/utils/Jsr305State.kt +++ b/core/util.runtime/src/org/jetbrains/kotlin/utils/Jsr305State.kt @@ -17,13 +17,11 @@ package org.jetbrains.kotlin.utils enum class Jsr305State( - val description: String, - val shouldReportWarning: Boolean = false, - val shouldReportError: Boolean = false + val description: String ) { IGNORE("ignore"), - WARN("warn", shouldReportWarning = true), - STRICT("strict", shouldReportError = true), + WARN("warn"), + STRICT("strict"), ; companion object {