Update plutus-core-spec/plutus-core-specification.tex

Co-authored-by: Michael Peyton Jones <me@michaelpj.com>
IntersectMBO · Jan 26, 2021 · 875068f · 875068f
1 parent 9d2cf03
commit 875068f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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}