repair dock

repair dock

[ri′per ‚däk] (civil engineering) A graving dock or floating dry dock built primarily for ship repair.