hardener

H`ARDENER, n. He or that which makes hard, or more firm and compact.