From f2a9336d71c3cebe508c2787d3c14e0936cd8ce7 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Thu, 7 Apr 2022 00:41:35 +0200
Subject: [PATCH] =?UTF-8?q?Untyped=20code=20=E2=86=92=20Untyped=20definiti?=
 =?UTF-8?q?ons?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 scribblings/utils.scrbl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scribblings/utils.scrbl b/scribblings/utils.scrbl
index 808c987..b1c279b 100644
--- a/scribblings/utils.scrbl
+++ b/scribblings/utils.scrbl
@@ -517,7 +517,7 @@ Converts 0 to @racket[#f] and 1 to @racket[#t].
 (01->boolean 1)
 ]}
 
-@section[#:tag "utils/untyped"]{Untyped code}
+@section[#:tag "utils/untyped"]{Untyped definitions}
 
 @defmodule[(submod dds/utils untyped)]