Fix #526

JetBrains · Jul 5, 2024 · 271fee3 · 271fee3
1 parent fcb2306
commit 271fee3
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/main/kotlin/org/arend/typechecking/error/ErrorService.kt b/src/main/kotlin/org/arend/typechecking/error/ErrorService.kt
@@ -121,9 +121,11 @@ class ErrorService : ErrorReporter {
         val arendErrors = typecheckingErrors[file] ?: return emptyList()
 
         val list = ArrayList<Pair<GeneralError, PsiElement>>()
-        for (arendError in arendErrors) {
-            arendError.cause?.let {
-                list.add(Pair(arendError.error, it))
+        synchronized(arendErrors) {
+            for (arendError in arendErrors) {
+                arendError.cause?.let {
+                    list.add(Pair(arendError.error, it))
+                }
             }
         }
         return list