Merge remote-tracking branch 'origin/main'

2022-06-03 23:58:05 +02:00 · 2022-06-03 23:58:05 +02:00 · 885206580b
parent 85dc83940f 5c9768965c
commit 885206580b
1 changed files with 2 additions and 1 deletions
--- a/py/makeqstrdata.py
+++ b/py/makeqstrdata.py
@ -400,7 +400,8 @@ def compute_huffman_coding(translations, compression_filename):
        # words[] array.

        scores = sorted(
-            ((s, -est_net_savings(s, occ)) for (s, occ) in counter.items()), key=lambda x: x[1]
+            ((s, -est_net_savings(s, occ)) for (s, occ) in counter.items() if occ > 1),
+            key=lambda x: x[1],
        )

        # Pick the one with the highest score.  The score must be negative.