Report change in table size

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()