From 49aaf122783003da0c8b1ff88b1ac9dc08a9dc7d Mon Sep 17 00:00:00 2001
From: Heidi Howard <1835251+heidihoward@users.noreply.github.com>
Date: Fri, 29 Sep 2023 07:59:36 +0100
Subject: [PATCH] upping the number of values/ballots for 4 acceptor config

---
 MCFPaxosFourAcc.tla | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/MCFPaxosFourAcc.tla b/MCFPaxosFourAcc.tla
index 4c62aff..57e2297 100644
--- a/MCFPaxosFourAcc.tla
+++ b/MCFPaxosFourAcc.tla
@@ -3,9 +3,9 @@
 EXTENDS FPaxos, TLC
 
 MCAcceptor == {"a1", "a2", "a3", "a4"}
-MCValue    == 0..1
+MCValue    == 0..2
 MCQuorum1 == {{"a1", "a2"}, {"a3", "a4"}}
 MCQuorum2 == {{"a1", "a3"}, {"a2", "a4"}}
-MCBallot == 0..1
+MCBallot == 0..2
 
 ====
\ No newline at end of file