Merge pull request #1595 from input-output-hk/jc/fix-incorrect-error-…

…name-KESPeriodWrongOCERT rename KESPeriodWrongOCERT to CounterTooSmallOCERT
IntersectMBO · Jun 30, 2020 · 40698f8 · 40698f8
2 parents c58fafe + 68cc62d
commit 40698f8
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Ocert.hs b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Ocert.hs
@@ -52,7 +52,7 @@ instance
         !KESPeriod -- Current KES Period
         !KESPeriod -- OCert Start KES Period
         !Word64 -- Max KES Key Evolutions
-    | KESPeriodWrongOCERT
+    | CounterTooSmallOCERT
         !Natural -- last KES counter used
         !Natural -- current KES counter
     | InvalidSignatureOCERT -- TODO use whole OCert
@@ -106,5 +106,5 @@ ocertTransition =
         failBecause $ NoCounterForKeyHashOCERT hk
         pure cs
       Just m -> do
-        m <= n ?! KESPeriodWrongOCERT m n
-        pure $ addpair hk n cs -- cs ⨃ (singleton hk n)
+        m <= n ?! CounterTooSmallOCERT m n -- cs ⨃ (singleton hk n)
+        pure $ addpair hk n cs