From ffdb3fd7842db3e7a91c8a498b32e5ecd2c29ed8 Mon Sep 17 00:00:00 2001
From: Heidi Howard <1835251+heidihoward@users.noreply.github.com>
Date: Tue, 9 Jan 2024 11:40:05 +0000
Subject: [PATCH] Follow up to #5895  (#5901)

---
 tla/consensus/MCccfraftAtomicReconfig.cfg | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tla/consensus/MCccfraftAtomicReconfig.cfg b/tla/consensus/MCccfraftAtomicReconfig.cfg
index c4b365e8b972..7bef71862d18 100644
--- a/tla/consensus/MCccfraftAtomicReconfig.cfg
+++ b/tla/consensus/MCccfraftAtomicReconfig.cfg
@@ -77,6 +77,5 @@ INVARIANTS
     MonoLogInv
     LogConfigurationConsistentInv
     NoLeaderBeforeInitialTerm
-    MatchIndexLowerBoundNextIndexInv
     CommitCommittableIndices
     CommittableIndicesAreKnownSignaturesInv
\ No newline at end of file