Remove digits yaml building

hedyorg · Sep 18, 2024 · 01d7a70 · 01d7a70
1 parent 85491ba
commit 01d7a70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/highlighting/generate-rules-highlighting.py b/highlighting/generate-rules-highlighting.py
@@ -101,7 +101,7 @@ def get_digits(keywords, keywords_ref):
         key = f'd{d}'
         if keywords_ref[key] not in digits:
             digits.append(keywords_ref[key])
-        if keywords[key] not in digits:
+        if key in keywords and keywords[key] not in digits:
             digits.append(keywords[key])
 
     return "".join(digits)