Webster's Revised Unabridged Dictionary · 1913

Hardener

Hardener (-'n*ẽr) , noun

One who, or that which, hardens; specif., one who tempers tools.