aboutsummaryrefslogtreecommitdiff
path: root/gen/prop/age
diff options
context:
space:
mode:
Diffstat (limited to 'gen/prop/age')
-rwxr-xr-xgen/prop/age4
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()