From 22152842a7df774e4d22fe92f782602508979be5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Tue, 24 Oct 2023 19:43:01 +0200 Subject: Fix spelling of 'definitions'. --- doc/ref/general/util-type.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') 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 -- cgit v1.2.3