new-words
changeset 60:3682038403ad
minifix
author | Igor Chubin <igor@chub.in> |
---|---|
date | Fri Nov 04 11:27:21 2011 +0100 (2011-11-04) |
parents | 7a7a88277c08 |
children | 0799785cf194 |
files | new-words.py |
line diff
1.1 --- a/new-words.py Thu Nov 03 16:10:58 2011 +0100 1.2 +++ b/new-words.py Fri Nov 04 11:27:21 2011 +0100 1.3 @@ -693,8 +693,9 @@ 1.4 lines_after = lines 1.5 deleted_words = [] 1.6 1.7 + lines_after_set = set(lines_after) 1.8 for line in lines_before: 1.9 - if line not in lines_after: 1.10 + if line not in lines_after_set: 1.11 line = line.strip() 1.12 if ' ' in line: 1.13 word = re.split('\s+', line, 1)[1]