record: use set instead of dict
authorBenoit Boissinot <benoit.boissinot@ens-lyon.org>
Sun, 17 May 2009 03:26:08 +0200
changeset 8460 d4c545dc6f87
parent 8459 1e63816ce8a2
child 8461 88f317e7d280
record: use set instead of dict
hgext/record.py
--- a/hgext/record.py	Sun May 17 03:25:24 2009 +0200
+++ b/hgext/record.py	Sun May 17 03:26:08 2009 +0200
@@ -251,7 +251,7 @@
     """Interactively filter patch chunks into applied-only chunks"""
     chunks = list(chunks)
     chunks.reverse()
-    seen = {}
+    seen = set()
     def consumefile():
         """fetch next portion from chunks until a 'header' is seen
         NB: header == new-file mark
@@ -321,7 +321,7 @@
             if hdr in seen:
                 consumefile()
                 continue
-            seen[hdr] = True
+            seen.add(hdr)
             if resp_all[0] is None:
                 chunk.pretty(ui)
             r = prompt(_('examine changes to %s?') %