Revert "Fix #502"

This reverts commit fb4d4fb.
JetBrains · May 28, 2024 · 89d4f28 · 89d4f28
1 parent fb4d4fb
commit 89d4f28
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/main/kotlin/org/arend/debug/ArendDebuggerRunner.kt b/src/main/kotlin/org/arend/debug/ArendDebuggerRunner.kt
@@ -9,5 +9,6 @@ class ArendDebuggerRunner: GenericDebuggerRunner() {
         return "ArendDebugRunner"
     }
 
-    override fun canRun(executorId: String, profile: RunProfile) = false
+    override fun canRun(executorId: String, profile: RunProfile) =
+        profile is TypeCheckConfiguration
 }