diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt index 4407ed20..33ef4df2 100644 --- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt +++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt @@ -158,13 +158,14 @@ class Controller( private fun processMatch(inState: ProcessingState, match: MatchRule) : ProcessingState { val context = Context(inState, match.logicalContext()) - trace.trying(match) // invoke matched pattern predicates for (prd in match.patternPredicates()) { if (!tellPredicate(prd, context)) break } + trace.trying(match) + // check guard for (gprd in match.rule().guard()) { if (!askPredicate(gprd, context)) break