From 5d5b627f8104a9f43d3e1536a6b460d98cb4cb60 Mon Sep 17 00:00:00 2001
From: Thomas Voss <mail@thomasvoss.com>
Date: Tue, 30 Apr 2024 19:36:54 +0200
Subject: Report change in table size

---
 gen/prop/age | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'gen/prop/age')

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()
-- 
cgit v1.2.3