Fix invalid reporting of trace events

2022-05-25 12:46:19 +02:00 · 2022-05-25 12:46:19 +02:00 · f91170aec0
parent cfcf6ecd81
commit f91170aec0
1 changed files with 1 additions and 0 deletions
--- 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

                    }