diff options
| -rw-r--r-- | Lib/compiler/misc.py | 2 | ||||
| -rw-r--r-- | Tools/compiler/compiler/misc.py | 2 |
2 files changed, 4 insertions, 0 deletions
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 @@ 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 5a3e261..0dc6422 100644 --- 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): |