From a6a350ab1a06079b5dac59beac68168a6dd43c2c Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Mon, 21 Dec 2020 21:29:26 +0100
Subject: [PATCH] utils.scrbl: Simplify require for-label.

---
 scribblings/utils.scrbl | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/scribblings/utils.scrbl b/scribblings/utils.scrbl
index 8f88ae7..3f1284b 100644
--- a/scribblings/utils.scrbl
+++ b/scribblings/utils.scrbl
@@ -1,10 +1,6 @@
 #lang scribble/manual
 @(require scribble/example racket/sandbox
-	  (for-label racket/base graph "../utils.rkt"
-	  	     (only-in typed/racket/base
-		              Any AnyValues Listof String Sexp Number Pair
-			      List -> compose
-			      cast)))
+	  (for-label typed/racket/base graph "../utils.rkt"))
 
 @title[#:tag "utils"]{dds/utils: Various Utilities}