diff options
author | Justin Bedo <cu@cua0.org> | 2023-08-16 15:47:00 +1000 |
---|---|---|
committer | Justin Bedo <cu@cua0.org> | 2023-08-16 15:47:00 +1000 |
commit | 664bf16afb161d9b4fb7cc3bcfb86ede1bc55e9b (patch) | |
tree | fbe37362cab2718f8823b123f983f02d1111179f | |
parent | 5846b2de2fccd90a61713fcd1832397347a01017 (diff) |
increase filter size
-rw-r--r-- | dedumi.hs | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -52,7 +52,7 @@ main :: IO () main = do [p1, p2, p3, p4] <- getArgs - f <- newCuckooFilter @4 @13 @ByteString 0 20_000_000 + f <- newCuckooFilter @4 @13 @ByteString 0 200_000_000 parse p1 p2 & S.filterM (insert' f) |