Skip to content

Commit

Permalink
Update shelley/chain-and-ledger/formal-spec/chain.tex
Browse files Browse the repository at this point in the history
Co-Authored-By: Matthias Güdemann <matthias.gudemann@iohk.io>
  • Loading branch information
Jared Corduan and mgudemann committed Oct 11, 2019
1 parent 9af22f1 commit 9438eae
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion shelley/chain-and-ledger/formal-spec/chain.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1505,7 +1505,7 @@ \subsection{Byron to Shelley Transition}
Figure~\ref{fig:functions:to-shelley} defines a function $\fun{toShelley}$
which takes the Byron ledger state and creates the Shelley ledger state.
Note that we use the hash of the final Byron header as the first evolving and
canditate nonces for Shelley.
candidate nonces for Shelley.

%%
%% Figure - Byron to Shelley State Transition
Expand Down

0 comments on commit 9438eae

Please sign in to comment.