delete an obsolete def.