tree e5e648d889f1fc8709a1bd69f2040e70af1cb1e1
parent 5b34af1879f738b059458348b439fe3c3abbdeb5
author Marc Kupietz <kupietz@ids-mannheim.de> 1763466435 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1763466435 +0100

Fix ConcurrentModificationException

at
de.ids_mannheim.korapxmltools.KorapXmlTool.scanAndOutputCompleteTexts$lambda$2(KorapXmlTool.kt:3699)

Change-Id: I1a7841f6c13673372f951c80b086c28523fd5e0d