From a2d55e92b9a331123b843f2077527d757a136878 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Tue, 11 Jun 2019 17:20:17 +0300 Subject: [PATCH] Remove accidental line duplication --- reactor/Core/src/jetbrains/mps/logic/reactor/core/Dispatcher.kt | 1 - 1 file changed, 1 deletion(-) diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/Dispatcher.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/Dispatcher.kt index f466d3fb..7f242a59 100644 --- 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) }) /**