diff options
Diffstat (limited to 'gen/prop/age')
-rwxr-xr-x | gen/prop/age | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gen/prop/age b/gen/prop/age index 7105ae1..a565021 100755 --- a/gen/prop/age +++ b/gen/prop/age @@ -80,7 +80,7 @@ def main() -> None: if bs > len(xs): break Cs = [tuple(x) for x in chunks(xs, bs)] - cs = list(dict.fromkeys(Cs)) + cs = set(Cs) sz_s1 = len(Cs) * isize(len(cs) - 1) sz_s2 = len(cs) * bs * 2 @@ -95,5 +95,7 @@ def main() -> None: sys.stdout = f genfile(Cs, blksize) + report_size(len(xs), smallest) + if __name__ == '__main__': main() |