Fix some issues in REPL

JetBrains · Feb 25, 2021 · 454fef8 · 454fef8
1 parent a4ab4b2
commit 454fef8
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/main/kotlin/org/arend/toolWindow/repl/IntellijRepl.kt b/src/main/kotlin/org/arend/toolWindow/repl/IntellijRepl.kt
@@ -115,6 +115,10 @@ abstract class IntellijRepl private constructor(
         }
     }
 
+    override fun checkErrors() = runReadAction {
+        super.checkErrors()
+    }
+
     override fun typecheckStatements(group: Group, scope: Scope) {
         definitionModificationTracker.incModificationCount()
         val collector = CollectingOrderingListener()