Prick"punch` (?), n.

A pointed steel punch, to prick a mark on metal.

 

© Webster 1913.