Update splay_tree.cc