diff --git a/tools/unnamed.py b/tools/unnamed.py index 4268879ef..e46345416 100755 --- a/tools/unnamed.py +++ b/tools/unnamed.py @@ -89,7 +89,7 @@ for objfile in objects: num_symbols = unpack_file("