backwards predicate description in PPUpdate

IntersectMBO · Nov 12, 2019 · 524f1bf · 524f1bf
1 parent e7cd785
commit 524f1bf
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/shelley/chain-and-ledger/executable-spec/src/STS/Ppup.hs b/shelley/chain-and-ledger/executable-spec/src/STS/Ppup.hs
@@ -34,7 +34,7 @@ instance STS (PPUP crypto) where
   type Environment (PPUP crypto) = PPUPEnv crypto
   data PredicateFailure (PPUP crypto)
     = NonGenesisUpdatePPUP (Set (GenKeyHash crypto)) (Set (GenKeyHash crypto))
-    | PPUpdateTooEarlyPPUP
+    | PPUpdateTooLatePPUP
     | PPUpdateEmpty
     | PPUpdateNonEmpty
     | PVCannotFollowPPUP
@@ -73,6 +73,6 @@ ppupTransitionNonEmpty = do
   let Epoch slotEpoch = epochFromSlot (Slot 1)
   s
     <  (firstSlot (Epoch $ slotEpoch + 1) *- slotsPrior)
-    ?! PPUpdateTooEarlyPPUP
+    ?! PPUpdateTooLatePPUP
 
   pure $ updatePPup pupS pup
diff --git a/shelley/chain-and-ledger/formal-spec/update.tex b/shelley/chain-and-ledger/formal-spec/update.tex
@@ -91,9 +91,9 @@ \subsection{Protocol Parameter Update Proposals}
 This rule has the following predicate failures:
 
 \begin{enumerate}
-\item In the case of \var{slot} being smaller than
+\item In the case of \var{slot} being greater than or equal to
   $\fun{firstSlot}~((\epoch{slot}) + 1) - \fun{SlotsPrior}$, there is
-  a \emph{PPUpdateTooEarly} failure.
+  a \emph{PPUpdateTooLate} failure.
 \item In the case of \var{pup} being non-empty, if the check $\dom pup \subseteq
   \dom genDelegs$ fails, there is a \emph{NonGenesisUpdate} failure as only genesis keys
   can be used in the protocol parameter update.