From 1b068cedf3c113f27121182b29e096ccb3e1b9c1 Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Fri, 3 May 2024 18:37:50 +0200 Subject: Add more 2-stage lookup tables --- gen/prop/hst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gen/prop/hst') diff --git a/gen/prop/hst b/gen/prop/hst index a2765fd..8af4a4b 100755 --- a/gen/prop/hst +++ b/gen/prop/hst @@ -83,7 +83,7 @@ def main() -> None: cs = set(Cs) sz_s1 = len(Cs) * isize(len(cs) - 1) - sz_s2 = len(cs) * bs * 2 + sz_s2 = len(cs) * bs sz = sz_s1 + sz_s2 if sz < smallest: -- cgit v1.2.3