Dripstone

n.
  1. A drip, when made of stone. See Drip, 2.