diff options
Diffstat (limited to 'tools/find_bigis.py')
| -rw-r--r-- | tools/find_bigis.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/find_bigis.py b/tools/find_bigis.py index d11c1a81..1261e7ff 100644 --- a/tools/find_bigis.py +++ b/tools/find_bigis.py @@ -6,7 +6,7 @@ import os, sys, re filename = sys.argv[1] data = open(filename).read() -iss = re.findall('[^%]i\d+ [^=]', data) +iss = re.findall(' i\d+ [^=]', data) set_iss = set(iss) bigs = [] for iss in set_iss: |