Delete An Old Definition

This definition isn't still used is it?