diff options
Diffstat (limited to 'Tools/scripts/fixdiv.py')
| -rwxr-xr-x | Tools/scripts/fixdiv.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/fixdiv.py b/Tools/scripts/fixdiv.py index a4b4f21426..8b15cc6595 100755 --- a/Tools/scripts/fixdiv.py +++ b/Tools/scripts/fixdiv.py @@ -158,7 +158,7 @@ def main(): warnings = readwarnings(args[0]) if warnings is None: return 1 - files = warnings.keys() + files = list(warnings.keys()) if not files: print("No classic division warnings read from", args[0]) return |