From f9de7b10272e7a75dc559b39e015ca4deb185bb0 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sat, 12 Dec 2020 00:46:50 +0100
Subject: [PATCH] utils.scrbl: Slightly streamline the imports.

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

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