Remove child domain from

We are decommisioning a child domain and want to remove it from the Domain Settings area as well as the policy for said domain. When I go to remove the child domain, it states its successful but still shows up and is configured.