DRIPSTONE

Source: 567

Drip″stone′ (?), n. (Arch.) A drip, when made of stone. See Drip, 2.