What kind of salt is used on pretzels?

Pretzels are often topped with a type of salt called pretzel salt. Pretzel salt is a coarse salt made from large crystals of sodium chloride formed by natural evaporation from seawater or brine. It is typically added to the dough before baking in order to give the pretzels a distinctive salty flavor and crunchy texture.