diff --git a/ouroboros-consensus-shelley/src/Ouroboros/Consensus/Shelley/Protocol.hs b/ouroboros-consensus-shelley/src/Ouroboros/Consensus/Shelley/Protocol.hs index bbe6382bbf5..55f6577310b 100644 --- a/ouroboros-consensus-shelley/src/Ouroboros/Consensus/Shelley/Protocol.hs +++ b/ouroboros-consensus-shelley/src/Ouroboros/Consensus/Shelley/Protocol.hs @@ -343,7 +343,7 @@ instance TPraosCrypto c => ConsensusProtocol (TPraos c) where -- current KES period. hasValidOCert :: TPraosIsCoreNode c -> Bool hasValidOCert TPraosIsCoreNode{tpraosIsCoreNodeOpCert} = - kesPeriod > c0 && kesPeriod < c1 + kesPeriod >= c0 && kesPeriod < c1 where SL.OCert _ _ (SL.KESPeriod c0) _ = tpraosIsCoreNodeOpCert c1 = c0 + fromIntegral (tpraosMaxKESEvo tpraosParams)