ediff-delete-overlay

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

(ediff-delete-overlay OVERLAY)

Delete the overlay OVERLAY from its buffer.