add remove method to set

diff --git a/Lib/compiler/misc.py b/Lib/compiler/misc.py
index 5a3e261d64636a8b6cedb69a021d368dcde2c57f..0dc642260346e1c42af623d6b2bf12e6a5e206b8 100644 (file)
--- a/Lib/compiler/misc.py
+++ b/Lib/compiler/misc.py
@@ -7,6 +7,8 @@ class Set:
        return self.elts.keys()
     def has_elt(self, elt):
        return self.elts.has_key(elt)
+    def remove(self, elt):
+        del self.elts[elt]
 
 class Stack:
     def __init__(self):

diff --git a/Tools/compiler/compiler/misc.py b/Tools/compiler/compiler/misc.py
index 5a3e261d64636a8b6cedb69a021d368dcde2c57f..0dc642260346e1c42af623d6b2bf12e6a5e206b8 100644 (file)
--- a/Tools/compiler/compiler/misc.py
+++ b/Tools/compiler/compiler/misc.py
@@ -7,6 +7,8 @@ class Set:
        return self.elts.keys()
     def has_elt(self, elt):
        return self.elts.has_key(elt)
+    def remove(self, elt):
+        del self.elts[elt]
 
 class Stack:
     def __init__(self):