From d348bec8883be359fb45ffeaca249c45eada9d1e Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <github.com@lemmster.de>
Date: Fri, 6 Oct 2023 19:13:38 +0200
Subject: [PATCH] Warning: The variable messages was changed while it is
 specified as UNCHANGED at line 227, col 5 to line 227, col 12 of module
 ccfraft

---
 tla/ccfraft.tla | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tla/ccfraft.tla b/tla/ccfraft.tla
index ab9297751447..dc98d11e0ef0 100644
--- a/tla/ccfraft.tla
+++ b/tla/ccfraft.tla
@@ -755,10 +755,10 @@ AdvanceCommitIndex(i) ==
                         IN Send(msg)
                     /\ UNCHANGED << currentTerm, votedFor, reconfigurationCount, removedFromConfiguration >>
                  \* Otherwise, states remain unchanged
-                 ELSE UNCHANGED <<serverVars, reconfigurationCount, removedFromConfiguration>>
+                 ELSE UNCHANGED <<messages, serverVars, reconfigurationCount, removedFromConfiguration>>
            \* Otherwise, Configuration and states remain unchanged
-           ELSE UNCHANGED <<serverVars, reconfigurationVars>>
-    /\ UNCHANGED <<messageVars, candidateVars, leaderVars, log>>
+           ELSE UNCHANGED <<messages, serverVars, reconfigurationVars>>
+    /\ UNCHANGED <<commitsNotified, candidateVars, leaderVars, log>>
 
 \* CCF: RetiredLeader server i notifies the current commit level to server j
 \*  This allows to retire gracefully instead of deadlocking the system through removing itself from the network.