Remove accidental line duplication

2019-06-11 17:20:17 +03:00 · 2019-06-11 17:20:17 +03:00 · a2d55e92b9
parent 2a5f9e28dc
commit a2d55e92b9
1 changed files with 0 additions and 1 deletions
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/Dispatcher.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/Dispatcher.kt
@ -100,7 +100,6 @@ class Dispatcher (val ruleIndex: RuleIndex) {
        fun expand(activated: Occurrence) = DispatchingFront(this,
            ruleIndex.forOccurrenceWithMask(activated).mapNotNull { (rule, mask) ->
                ruletag2probe[rule.uniqueTag()]?.expand(activated, mask)
-                ruletag2probe[rule.uniqueTag()]?.expand(activated, mask)
            })

        /**