From 664bf16afb161d9b4fb7cc3bcfb86ede1bc55e9b Mon Sep 17 00:00:00 2001
From: Justin Bedo <cu@cua0.org>
Date: Wed, 16 Aug 2023 15:47:00 +1000
Subject: increase filter size

---
 dedumi.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
cgit v1.2.3