Minor fix: always reset journal in incremental session.

Without it in certain cases ConcurrentModificationException (on internal journal linked list) could arise.
2020-07-14 15:58:23 +03:00 · 2020-07-14 15:58:23 +03:00 · ef7f66dd3e
parent f402ce33c8
commit ef7f66dd3e
1 changed files with 1 additions and 1 deletions
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ExecutionQueue.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ExecutionQueue.kt
@ -55,8 +55,8 @@ internal class ExecutionQueue(

    fun run(controller: Controller, processing: ConstraintsProcessing): FeedbackStatus {
        var status: FeedbackStatus = FeedbackStatus.NORMAL()
+        processing.resetStore()
        if (execQueue.isNotEmpty()) {
-            processing.resetStore()

            var prevPos: MatchJournal.Pos? = null
            do {