Fix KeyError in gen_externs.py

2026-05-23 23:05:17 -04:00 · 2024-04-06 10:59:41 +02:00
parent cbc47c82db
commit 4a5c32f65f
1 changed files with 1 additions and 1 deletions
@@ -64,7 +64,7 @@ def get_unknown_symbols(file: Path):
            elif not skip:
                symbol += line.strip()
        symbols.add(symbol)
-        symbols.remove('')
+        if '' in symbols: symbols.remove('')
        if len(symbols) == 0:
            return []