aboutsummaryrefslogtreecommitdiff
path: root/gen/prop/inpc
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-05-03 18:37:50 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-05-03 18:37:50 +0200
commit1b068cedf3c113f27121182b29e096ccb3e1b9c1 (patch)
tree0626eec582b75c767c35510bb33f5a191d99a276 /gen/prop/inpc
parent56539c1cae81fc95608be9170c1965346ce31c09 (diff)
Add more 2-stage lookup tables
Diffstat (limited to 'gen/prop/inpc')
-rwxr-xr-xgen/prop/inpc2
1 files changed, 1 insertions, 1 deletions
diff --git a/gen/prop/inpc b/gen/prop/inpc
index 6a8561f..c4d35ef 100755
--- a/gen/prop/inpc
+++ b/gen/prop/inpc
@@ -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: