splay_tree.cc: turns out I commented a bit I didn't intend to.