warding file

noun

Definition of warding file

: a thin file used chiefly for cutting wards in keys