From f1af318776ea05ca7de85246852848b87f5f84c4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 2 Aug 2009 13:36:25 +0000 Subject: [PATCH] fix some contracts svn: r15661 --- collects/scribble/base.ss | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/scribble/base.ss b/collects/scribble/base.ss index f0ba8d007e..203ec47b4b 100644 --- a/collects/scribble/base.ss +++ b/collects/scribble/base.ss @@ -441,17 +441,17 @@ element?)] [secref (->* (string?) (#:doc module-path? - #:tag-prefixes (or/c #f (listof string)) + #:tag-prefixes (or/c #f (listof string?)) #:underline? any/c) element?)] [Secref (->* (string?) (#:doc module-path? - #:tag-prefixes (or/c #f (listof string)) + #:tag-prefixes (or/c #f (listof string?)) #:underline? any/c) element?)] [seclink (->* (string?) (#:doc module-path? - #:tag-prefixes (or/c #f (listof string)) + #:tag-prefixes (or/c #f (listof string?)) #:underline? any/c) #:rest (listof pre-content?) element?)]