aboutsummaryrefslogtreecommitdiff
path: root/gen/prop/ccc
diff options
context:
space:
mode:
Diffstat (limited to 'gen/prop/ccc')
-rwxr-xr-xgen/prop/ccc2
1 files changed, 1 insertions, 1 deletions
diff --git a/gen/prop/ccc b/gen/prop/ccc
index 5339748..bc073ae 100755
--- a/gen/prop/ccc
+++ b/gen/prop/ccc
@@ -147,7 +147,7 @@ def main() -> None:
cs = set(Cs)
sz_s1 = len(Cs) * isize(len(cs) - 1)
- sz_s2 = len(cs) * bs * 4
+ sz_s2 = len(cs) * bs * 2
sz = sz_s1 + sz_s2
if sz < smallest: