fix some contracts

svn: r15661

original commit: f1af318776ea05ca7de85246852848b87f5f84c4
This commit is contained in:
Matthew Flatt 2009-08-02 13:36:25 +00:00
parent b0828c2bbf
commit 08460c18df

View File

@ -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?)]