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 7e1ed0b..b2cab88 100755 --- a/Tools/scripts/fixdiv.py +++ b/Tools/scripts/fixdiv.py @@ -198,7 +198,7 @@ def readwarnings(warningsfile): list = warnings.get(filename) if list is None: warnings[filename] = list = [] - list.append((int(lineno), intern(what))) + list.append((int(lineno), sys.intern(what))) f.close() return warnings |