Merge pull request #508 from alex999990009/alex99999/disable-debug

Revert "Fix #502"
JetBrains · May 28, 2024 · 754837c · 754837c
2 parents 5ce445a + 89d4f28
commit 754837c
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
 }