Actually exclude removed servers

achamayou · Oct 4, 2023 · 000845f · 000845f
1 parent ed88214
commit 000845f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tla/ccfraft.tla b/tla/ccfraft.tla
@@ -494,7 +494,7 @@ PlausibleSucessorNode(i) ==
     \* node as the implementation, which iterates through an unordered_map
     \* when performing its selection with the same criteria.
     LET
-        activeServers == Servers \intersect removedFromConfiguration
+        activeServers == Servers \ removedFromConfiguration
         highestMatchServers == {n \in activeServers : \A m \in activeServers : matchIndex[i][n] >= matchIndex[i][m]}
         highestConfigServers == {n \in highestMatchServers : \A m \in highestMatchServers: MaxConfigurationIndex(n) >= MaxConfigurationIndex(m)}
     IN