From edde23816d1c5e4ff53924d18e6f48ed7d799013 Mon Sep 17 00:00:00 2001
From: Heidi Howard <1835251+heidihoward@users.noreply.github.com>
Date: Tue, 9 Jan 2024 10:57:29 +0000
Subject: [PATCH] removing MatchIndexLowerBoundNextIndexInv from atomic
 reconfig

---
 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