whetstone (for honing knives)

他用细磨刀石把刀刃磨得更锋利了。