Skip to content

Commit

Permalink
Fix small error in the prose
Browse files Browse the repository at this point in the history
  • Loading branch information
WhatisRT authored and lehins committed Feb 22, 2024
1 parent dff8b4c commit e8a6b36
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion eras/shelley/formal-spec/delegation.tex
Original file line number Diff line number Diff line change
Expand Up @@ -718,7 +718,7 @@ \subsection{Stake Pool Rules}
advance will curb the growth of the $\var{retiring}$ list in the ledger state.

The pools scheduled for retirement must be removed from
the $\var{retiring}$ state variable at the end of the epoch they are scheduled
the $\var{retiring}$ state variable at the beginning of the epoch they are scheduled
to retire in. This non-signaled transition (triggered, instead, directly by a
change of current slot number in the environment), along with all other transitions
that take place at the epoch boundary, are described in Section~\ref{sec:epoch}.
Expand Down

0 comments on commit e8a6b36

Please sign in to comment.