Fix a concurrent modification problem introduced inadvertently.

2018-06-22 15:27:17 +02:00 · 2018-06-22 15:27:17 +02:00 · a3f431b6b8
parent 558b068895
commit a3f431b6b8
1 changed files with 1 additions and 1 deletions
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/PartialMatchTrie.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/PartialMatchTrie.kt
@ -94,7 +94,7 @@ internal class MatchTrieSet(val rule: Rule, val profiler: Profiler?) {
        this.tries.addAll(copyTries)
        this.tries.addAll(relevantTries)

-        return tries.asSequence().flatMap { t -> t.matches() }
+        return relevantTries.asSequence().flatMap { t -> t.matches() }
    }

    inner class PartialMatchTrie(val activeOcc: ConstraintOccurrence,