Dripstone

Webster's Dictionary of the English Language

·noun A drip, when made of stone. ·see Drip, 2.