From 4a5c32f65fdbd0300c3878bc33a86f7e4eaf391e Mon Sep 17 00:00:00 2001 From: Aetias Date: Sat, 6 Apr 2024 10:59:41 +0200 Subject: [PATCH] Fix KeyError in `gen_externs.py` --- tools/gen_externs.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/gen_externs.py b/tools/gen_externs.py index 2845502e..51c41899 100644 --- a/tools/gen_externs.py +++ b/tools/gen_externs.py @@ -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 []