fix plurality of `examples' label

This commit is contained in:
Matthew Flatt 2011-08-17 07:16:59 -06:00
parent bdcc63b229
commit e4729afdbf

View File

@ -512,6 +512,9 @@
(define-syntax pick-example-title (define-syntax pick-example-title
(syntax-rules () (syntax-rules ()
[(_ e) example-title] [(_ e) example-title]
[(_ #:eval ev e) example-title]
[(_ #:escape id e) example-title]
[(_ #:eval ev #:escape id e) example-title]
[(_ . _) examples-title])) [(_ . _) examples-title]))
(define-syntax (examples stx) (define-syntax (examples stx)