Correct reconfiguration index

achamayou · Oct 30, 2023 · b35737f · b35737f
1 parent 71b60b3
commit b35737f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tla/consensus/ccfraft.tla b/tla/consensus/ccfraft.tla
@@ -685,7 +685,7 @@ ChangeConfigurationInt(i, newConfiguration) ==
         newLog == [log[i] EXCEPT ![Len(log[i])] = entry]
         IN
         /\ log' = [log EXCEPT ![i] = newLog]
-        /\ configurations' = [configurations EXCEPT ![i] = @ @@ Len(log[i]) + 1 :> newConfiguration]
+        /\ configurations' = [configurations EXCEPT ![i] = @ @@ Len(log[i]) :> newConfiguration]
     /\ UNCHANGED <<messageVars, serverVars, candidateVars,
                     leaderVars, commitIndex, committableIndices>>