diff --git a/src/main/kotlin/org/arend/debug/ArendDebuggerRunner.kt b/src/main/kotlin/org/arend/debug/ArendDebuggerRunner.kt
index ad5d16688..37650eec1 100644
--- 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
 }
\ No newline at end of file