Index: tools/splaytree.py |
=================================================================== |
--- tools/splaytree.py (revision 1604) |
+++ tools/splaytree.py (working copy) |
@@ -75,12 +75,12 @@ |
"""Remove the node with the given key from the SplayTree.""" |
# Raise exception for key that is not found if the tree is empty. |
if self.IsEmpty(): |
- raise 'KeyNotFound' |
+ raise Exception('KeyNotFound') |
# Splay on the key to move the node with the given key to the top. |
self.Splay(key) |
# Raise exception for key that is not found. |
if self.root.key != key: |
- raise 'KeyNotFound' |
+ raise Exception('KeyNotFound') |
removed = self.root |
# Link out the root node. |
if not self.root.left: |