From 6757f2df8ff04abcd227b8ebd60c39f72dba3da4 Mon Sep 17 00:00:00 2001
From: Julien Clement <julien.clement@epita.fr>
Date: Thu, 7 May 2020 13:36:02 +0200
Subject: [PATCH] Fix initiating ballot after HigherBallot when HigherBallot is
 in fact no higher

---
 src/legislator/legislator.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/legislator/legislator.cc b/src/legislator/legislator.cc
index 0ed9219..1611b7f 100644
--- a/src/legislator/legislator.cc
+++ b/src/legislator/legislator.cc
@@ -95,6 +95,8 @@ namespace paxos
     void Legislator::receive_higher_ballot(int ballot)
     {
         int last_tried = ledger.last_tried();
+        if (last_tried > ballot)
+            return;
 
         while (last_tried + (int)legislators.size() < ballot)
         {