From a8b110fd7d036d5c545c0a5546a7ebb551e6fc43 Mon Sep 17 00:00:00 2001 From: valis Date: Thu, 5 May 2022 00:50:00 +0300 Subject: [PATCH] Fix tests --- .../typechecking/execution/TypeCheckRunLineMarkerContributor.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/kotlin/org/arend/typechecking/execution/TypeCheckRunLineMarkerContributor.kt b/src/main/kotlin/org/arend/typechecking/execution/TypeCheckRunLineMarkerContributor.kt index 85520e9da..8ae509c61 100644 --- a/src/main/kotlin/org/arend/typechecking/execution/TypeCheckRunLineMarkerContributor.kt +++ b/src/main/kotlin/org/arend/typechecking/execution/TypeCheckRunLineMarkerContributor.kt @@ -26,7 +26,7 @@ class TypeCheckRunLineMarkerContributor : RunLineMarkerContributor() { val def = parent.tcReferable?.typechecked val icon = when (def?.status()) { - NO_ERRORS, DEP_PROBLEMS -> AllIcons.RunConfigurations.TestState.Green2 + NO_ERRORS, DEP_ERRORS, DEP_WARNiNGS -> AllIcons.RunConfigurations.TestState.Green2 HAS_WARNINGS -> AllIcons.RunConfigurations.TestState.Yellow2 null, TYPE_CHECKING, NEEDS_TYPE_CHECKING -> AllIcons.RunConfigurations.TestState.Run else -> AllIcons.RunConfigurations.TestState.Red2