Report failure to the trace.

2017-02-27 16:06:32 +01:00 · 2017-02-27 16:06:32 +01:00 · cab0931cc1
parent 6cac64b6bd
commit cab0931cc1
1 changed files with 6 additions and 3 deletions
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt
@ -126,10 +126,13 @@ class Controller(
                        frameStack.reset(savedFrame)
                    }

-                    if (failure == null) {
-                        // normal termination: skip the other alternatives
-                        break
+                    if (failure != null) {
+                        trace.failure(failure)
+                        continue
                    }
+
+                    // normal termination: skip the other alternatives
+                    break
                }

                if (failure != null) {