aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/ref/general/util-type.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ref/general/util-type.texi b/doc/ref/general/util-type.texi
index 3a6cba3e..61149566 100644
--- a/doc/ref/general/util-type.texi
+++ b/doc/ref/general/util-type.texi
@@ -37,7 +37,7 @@ Check if @var{variable} is a cons-pair, and that the car satisfies
@var{car-type-clause}, and that the cdr satisfies @var{cdr-type-clause}.
@end defmac
-@subsection Deffinitions
+@subsection Definitions
@defmac build-validator-body variable type-clause
``Entry point'' of type clauses. Inserts variable into the