> 	(inf_ptrace_xfer_memory): Delete.

Oops, this was lost from the patch / commit, it's now really there.

Andrew