bloom-filters: adding a working url.

2015-07-10 14:17:09 -07:00 · 2015-07-10 14:17:09 -07:00 · dbdff8e880
parent dce364faa2
commit dbdff8e880
1 changed files with 1 additions and 0 deletions
--- a/extra/bloom-filters/bloom-filters.factor
+++ b/extra/bloom-filters/bloom-filters.factor
@ -109,6 +109,7 @@ PRIVATE>
 ! See "Bloom Filters in Probabilistic Verification" by Peter C.
 ! Dillinger and Panagiotis Manolios, section 5.2, "Enhanced
 ! Double Hashing":
+! http://www.ccs.neu.edu/home/pete/research/bloom-filters-verification.html
 ! http://www.cc.gatech.edu/~manolios/research/bloom-filters-verification.html
 : combine-hashcodes ( index hash0 hash1 -- hash )
    { fixnum fixnum fixnum } declare