******** fig4.56 **********

	void
	single_rotate( splay_ptr x )
	{
		if( x->parent->left == x )
			zig_left( x );
		else
			zig_right( x );
	}