bloom-filters: clean help-lint

2009-05-10 12:50:26 -04:00 · 2009-05-10 12:50:26 -04:00 · 8c26783455
parent e6f8aafe5f
commit 8c26783455
1 changed files with 1 additions and 1 deletions
--- a/extra/bloom-filters/bloom-filters.factor
+++ b/extra/bloom-filters/bloom-filters.factor
@ -159,6 +159,6 @@ PRIVATE>
    increment-n-objects
    [ relevant-indices ] [ bits>> set-indices ] bi ;

-: bloom-filter-member? ( value bloom-filter -- ? )
+: bloom-filter-member? ( object bloom-filter -- ? )
    [ relevant-indices ] keep
    bits>> nths [ ] all? ;