aboutsummaryrefslogtreecommitdiff
path: root/gen/prop
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-04-30 20:31:26 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-04-30 20:31:26 +0200
commit6972ad4f49e29644153993f9cafbbea6d2940cbe (patch)
tree294110e0aeb269568747952a52e7067f36960c20 /gen/prop
parente0d772e34b27dd1c9ecef5c0892e37e17e912025 (diff)
Fix algorithm to determine optimal blksize
Diffstat (limited to 'gen/prop')
-rwxr-xr-xgen/prop/dt2
1 files changed, 1 insertions, 1 deletions
diff --git a/gen/prop/dt b/gen/prop/dt
index 81503d2..85d5709 100755
--- a/gen/prop/dt
+++ b/gen/prop/dt
@@ -103,7 +103,7 @@ def main() -> None:
cs = set(Cs)
sz_s1 = len(Cs) * isize(len(cs) - 1)
- sz_s2 = len(cs) * bs * 2
+ sz_s2 = len(cs) * bs
sz = sz_s1 + sz_s2
if sz < smallest: