summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustin Bedo <cu@cua0.org>2023-08-16 15:47:00 +1000
committerJustin Bedo <cu@cua0.org>2023-08-16 15:47:00 +1000
commit664bf16afb161d9b4fb7cc3bcfb86ede1bc55e9b (patch)
treefbe37362cab2718f8823b123f983f02d1111179f
parent5846b2de2fccd90a61713fcd1832397347a01017 (diff)
increase filter size
-rw-r--r--dedumi.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/dedumi.hs b/dedumi.hs
index c529d1c..aa682f1 100644
--- a/dedumi.hs
+++ b/dedumi.hs
@@ -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)