From dc146c8c080130c7c5b47cd4f55b4a0d5d1346c8 Mon Sep 17 00:00:00 2001
From: Heidi Howard <1835251+heidihoward@users.noreply.github.com>
Date: Mon, 8 Jan 2024 11:27:04 +0000
Subject: [PATCH] some comments

---
 tla/consensus/ccfraft.tla | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tla/consensus/ccfraft.tla b/tla/consensus/ccfraft.tla
index a1cff5e48e2c..e9a406546708 100644
--- a/tla/consensus/ccfraft.tla
+++ b/tla/consensus/ccfraft.tla
@@ -276,7 +276,7 @@ CandidateVarsTypeInv ==
 
 \* The next entry to send to each follower, called send_idx in raft.h
 \* In CCF, the leader updates nextIndex optimically when an AE message is dispatched
-\* In contrast, In Raft the leader only updates nextIndex when an AE response is received
+\* In contrast, in Raft the leader only updates nextIndex when an AE response is received
 VARIABLE nextIndex
 
 \* nextIndex cannot be zero as its the index of the first log