fix some contracts

svn: r15661
This commit is contained in:
Matthew Flatt 2009-08-02 13:36:25 +00:00
parent 4b6808f2b8
commit f1af318776

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