Update splay_tree.cpp - remove push() call

Author: ekzhang

splay_tree.cpp

@@ -40,7 +40,6 @@ struct node {
 		}
 		if (!r())
 			rot();
-		push();
 	}
 } verts[100013];
 int t = 0;