From 8c267834557aa5b73e777553c4af7e99f36abf05 Mon Sep 17 00:00:00 2001 From: Alec Berryman Date: Sun, 10 May 2009 12:50:26 -0400 Subject: [PATCH] bloom-filters: clean help-lint --- extra/bloom-filters/bloom-filters.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extra/bloom-filters/bloom-filters.factor b/extra/bloom-filters/bloom-filters.factor index b82bf46d36..de7aa75a06 100644 --- 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? ;