diff options
Diffstat (limited to 'scripts/CheckMentioned.py')
| -rw-r--r-- | scripts/CheckMentioned.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/CheckMentioned.py b/scripts/CheckMentioned.py index 1e5f6c393..b6d52293e 100644 --- a/scripts/CheckMentioned.py +++ b/scripts/CheckMentioned.py @@ -35,13 +35,13 @@ def depunctuate(s): symbols = {} with open(incFileName, "rt") as incFile: - for line in incFile.readlines(): + for line in incFile: if line.startswith("#define"): identifier = line.split()[1] symbols[identifier] = 0 with open(docFileName, "rt") as docFile: - for line in docFile.readlines(): + for line in docFile: for word in depunctuate(line).split(): if word in symbols.keys(): symbols[word] = 1 |