diff options
Diffstat (limited to 'scripts/strip_local_names.py')
| -rw-r--r-- | scripts/strip_local_names.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/strip_local_names.py b/scripts/strip_local_names.py index d617766bc..2e14b8e2b 100644 --- a/scripts/strip_local_names.py +++ b/scripts/strip_local_names.py @@ -7,7 +7,7 @@ to diff for structural changes, this can help. import sys for line in open(sys.argv[1]).readlines(): - if '(tee_local ' in line or '(set_local ' in line or '(get_local ' in line: + if '(local.tee ' in line or '(local.set ' in line or '(local.get ' in line: print line[:line.find('$')] else: print line, |