Source : Webster's Revised Unabridged Dictionary (1913)

Prickpunch \Prick"punch`\, n.
   A pointed steel punch, to prick a mark on metal.