add remove method to set
diff --git a/Lib/compiler/misc.py b/Lib/compiler/misc.py
index 5a3e261..0dc6422 100644
--- a/Lib/compiler/misc.py
+++ b/Lib/compiler/misc.py
@@ -7,6 +7,8 @@
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 5a3e261..0dc6422 100644
--- a/Tools/compiler/compiler/misc.py
+++ b/Tools/compiler/compiler/misc.py
@@ -7,6 +7,8 @@
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):