Fix tests

JetBrains · May 4, 2022 · a8b110f · a8b110f
1 parent 7380443
commit a8b110f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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