checkdoc-delete-overlay

checkdoc-delete-overlay is an alias for `delete-overlay' in `checkdoc.el'.

(checkdoc-delete-overlay OVERLAY)

Delete the overlay OVERLAY from its buffer.