# HG changeset patch
# User Benoit Boissinot <benoit.boissinot@ens-lyon.org>
# Date 1242523568 -7200
# Node ID d4c545dc6f872c0d9b76467315761f7da3f74bc8
# Parent  1e63816ce8a23ad256e655dec3e613fe3af583c5
record: use set instead of dict

diff -r 1e63816ce8a2 -r d4c545dc6f87 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?') %