From 875068ff0467c28d28ba60f983dc9e621801d9f6 Mon Sep 17 00:00:00 2001 From: Radu Ometita Date: Tue, 26 Jan 2021 13:35:01 +0200 Subject: [PATCH] Update plutus-core-spec/plutus-core-specification.tex Co-authored-by: Michael Peyton Jones --- plutus-core-spec/plutus-core-specification.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plutus-core-spec/plutus-core-specification.tex b/plutus-core-spec/plutus-core-specification.tex index de115ee7d7f..7521d851e0b 100644 --- a/plutus-core-spec/plutus-core-specification.tex +++ b/plutus-core-spec/plutus-core-specification.tex @@ -1464,7 +1464,7 @@ \subsection{Untyped terms} \vspace{1cm} -\noindent Builtins use 5 bits for their definition, allowing for a maximum of 32 builtin +\noindent Builtins use 5 bits for their tags, allowing for a maximum of 32 builtin functions of which 25 are used. \vspace{1cm}