diff options
Diffstat (limited to 'gen/prop/ccc')
| -rwxr-xr-x | gen/prop/ccc | 2 |
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: |