Update shelley/chain-and-ledger/formal-spec/transactions.tex

Co-Authored-By: Matthias Güdemann <matthias.gudemann@iohk.io>
IntersectMBO · Oct 11, 2019 · a10b58d · a10b58d
1 parent 9438eae
commit a10b58d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shelley/chain-and-ledger/formal-spec/transactions.tex b/shelley/chain-and-ledger/formal-spec/transactions.tex
@@ -197,6 +197,6 @@ \section{Transactions}
 $\fun{txinsVKey}$ and $\fun{txinsScript}$ which partition the set of transaction
 inputs of the transaction into those that are locked with a private key and
 those that are locked via a script.
-It also defines $\fun{txinsScript}$, which validates the multisignature scripts.
+It also defines $\fun{validateScript}$, which validates the multisignature scripts.
 
 \clearpage