Grāv'ing-dŏck, n.

n. A dock into which ships are taken to have their bottoms examined, cleaned, and the like. See DOCK.