Fix invariant

geo2a · geo2a · commit 5e21004a642d · 2025-08-07T15:54:00.000+02:00
diff --git a/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/History/Summary.hs b/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/History/Summary.hs
@@ -489,7 +489,7 @@ invariantSummary = \(Summary summary) ->
           $ unless
             ( (unEpochSize $ eraEpochSize curParams)
                 `mod` (unPerasRoundLength . fromJust $ eraPerasRoundLength curParams)
-                /= 0
+                == 0
             )
           $ throwError
           $ mconcat

Original file line number	Diff line number	Diff line change
`@@ -489,7 +489,7 @@ invariantSummary = \(Summary summary) ->`
`489`	`489`	`$ unless`
`490`	`490`	`( (unEpochSize $ eraEpochSize curParams)`
`491`	`491`	`mod` (unPerasRoundLength . fromJust $ eraPerasRoundLength curParams)
`492`		`- /= 0`
	`492`	`+ == 0`
`493`	`493`	`)`
`494`	`494`	`$ throwError`
`495`	`495`	`$ mconcat`