From ef7f66dd3e4e87aa5bfe30b67e3d6d4359c4eed3 Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Tue, 14 Jul 2020 15:58:23 +0300
Subject: [PATCH] Minor fix: always reset journal in incremental session.

Without it in certain cases ConcurrentModificationException
(on internal journal linked list) could arise.
---
 .../jetbrains/mps/logic/reactor/core/internal/ExecutionQueue.kt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ExecutionQueue.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ExecutionQueue.kt
index 315c0784..d61d901e 100644
--- 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 {