From f91170aec0c9c39a4222655ee800c111f42ea7b7 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Wed, 25 May 2022 12:46:19 +0200
Subject: [PATCH] Fix invalid reporting of trace events

---
 .../mps/logic/reactor/core/internal/ConstraintsProcessing.kt     | 1 +
 1 file changed, 1 insertion(+)

diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ConstraintsProcessing.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ConstraintsProcessing.kt
index e1db567c..50db3dd7 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ConstraintsProcessing.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ConstraintsProcessing.kt
@@ -113,6 +113,7 @@ internal class ConstraintsProcessing(
 
                     }
                     is FeedbackStatus.FAILED -> {   // guard failed
+                        trace.reject(match)
                         return it.recover()         // return from the enclosing method
 
                     }