| commit | e399d08a4a64674761ccbdb102bc803d1d3b06d0 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Fri Aug 23 14:45:02 2002 +0000 |
| committer | Guido van Rossum <guido@python.org> | Fri Aug 23 14:45:02 2002 +0000 |
| tree | 47bc9cfb411fb3b8c670c6b09753912a6288d015 | |
| parent | 86c659a32937b7fe991e4f407a2a5f0026bb276d [diff] |
RH pointed out that discard(element) doesn't do the transformation on the element if necessary. Fixed by calling self.remove(element).