Update splay.cc