From ca3a29f616399f934eaed7296945da961e82a1aa Mon Sep 17 00:00:00 2001
From: Luke Parker <lukeparker5132@gmail.com>
Date: Sat, 12 Nov 2022 05:12:20 -0500
Subject: [PATCH] Correct time-adjustment code on round skip

---
 substrate/tendermint/machine/src/lib.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/substrate/tendermint/machine/src/lib.rs b/substrate/tendermint/machine/src/lib.rs
index 506321f3..6e45f7e2 100644
--- a/substrate/tendermint/machine/src/lib.rs
+++ b/substrate/tendermint/machine/src/lib.rs
@@ -213,13 +213,14 @@ impl<N: Network + 'static> TendermintMachine<N> {
       let end = self.timeout(Step::Precommit);
       self.end_time.insert(Round(r), end);
       self.start_time = end;
+      self.round.0 += 1;
     }
+    debug_assert_eq!(self.round, round);
 
     // 11-13
     // Clear timeouts
     self.timeouts = HashMap::new();
 
-    self.round = round;
     self.end_time.insert(round, self.timeout(Step::Precommit));
     self.step = Step::Propose;
     self.round_propose()