From 89d4f28a3650ac66fb4711e20c12264d4c85b7e5 Mon Sep 17 00:00:00 2001
From: "Aleksei.Luchinin" <alex999990009@gmail.com>
Date: Tue, 28 May 2024 16:53:58 +0300
Subject: [PATCH] Revert "Fix #502"

This reverts commit fb4d4fb99d87ba510a8f5cb8ab64a1d204697bad.
---
 src/main/kotlin/org/arend/debug/ArendDebuggerRunner.kt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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