From e7ca908a338f096cd19810634df066362a6603d7 Mon Sep 17 00:00:00 2001 From: RichardAH Date: Mon, 11 Jul 2022 12:07:46 +0000 Subject: [PATCH] deploy: 4e724794c57cddcd8b2f0754a4b32592b1ef3342 --- Consensus_8h_source.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Consensus_8h_source.html b/Consensus_8h_source.html index a40e1dd471..fdac89f1ff 100644 --- a/Consensus_8h_source.html +++ b/Consensus_8h_source.html @@ -146,7 +146,7 @@ $(function() {
295 
296  using Result = ConsensusResult<Adaptor>;
297 
-
298  // Helper class to ensure adaptor is notified whenver the ConsensusMode
+
298  // Helper class to ensure adaptor is notified whenever the ConsensusMode
299  // changes
300  class MonitoredMode
301  {