diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2014-01-28 12:16:17 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2014-01-28 12:16:17 -0800 |
| commit | cf184b97fda3d4eb8bb8554d638caf240c5f924b (patch) | |
| tree | aecd58f1f587e4af7bf73449cf390b5f6d4584f5 | |
| parent | 87758abf9f56473b5da6945a5d7e020e2ead1bd5 (diff) | |
fix find_bigis.py tool
| -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: |