utils.scrbl: Slightly streamline the imports.

2020-12-12 00:46:50 +01:00 · 2020-12-12 00:46:50 +01:00 · f9de7b1027
parent 181cb8678a
commit f9de7b1027
1 changed files with 3 additions and 3 deletions
--- 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}