diff options
Diffstat (limited to 'scripts/strip_local_names.py')
| -rw-r--r-- | scripts/strip_local_names.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/strip_local_names.py b/scripts/strip_local_names.py index 2e14b8e2b..bd10d8dab 100644 --- a/scripts/strip_local_names.py +++ b/scripts/strip_local_names.py @@ -8,6 +8,6 @@ import sys for line in open(sys.argv[1]).readlines(): if '(local.tee ' in line or '(local.set ' in line or '(local.get ' in line: - print line[:line.find('$')] + print(line[:line.find('$')]) else: - print line, + print(line.rstrip()) |