What is to become short or shorter; as, the day shortens in northern latitudes from June to December; a metallic rod shortens by cold called?

shorten — To become short or shorter; as, the day shortens in northern latitudes from June to December; a metallic rod shortens by cold. (Webster's 1913.)

Sources