sets: fix help lint

db4
Slava Pestov 2011-01-29 00:07:08 -05:00
parent 0b52600143
commit 6147460225
1 changed files with 1 additions and 1 deletions

View File

@ -192,5 +192,5 @@ HELP: cardinality
{ $description "Returns the number of elements in the set. All sets support this operation." } ; { $description "Returns the number of elements in the set. All sets support this operation." } ;
HELP: combine HELP: combine
{ $values { "seq" "a sequence of sets" } { "set" set } } { $values { "sets" "a sequence of sets" } { "set" set } }
{ $description "Outputs the union of a sequence of sets, or " { $link f } " if the sequence is empty." } ; { $description "Outputs the union of a sequence of sets, or " { $link f } " if the sequence is empty." } ;