cuckoo-filters: minor cleanup.

char-rename
John Benediktsson 2016-08-08 15:54:58 -07:00
parent 0f1f465f42
commit eebdf93e45
1 changed files with 0 additions and 1 deletions

View File

@ -64,7 +64,6 @@ TUPLE: cuckoo-filter buckets checksum size ;
} 0|| [
cuckoo-filter [ 1 + ] change-size drop t
] [
cuckoo-filter checksum>> :> checksum
2 random zero? i1 i2 ? :> i!
max-cuckoo-count [
drop