упраздниться
упраздни́ться
-нится; сов. (несов. упраздняться).
Став излишним, ненужным, исчезнуть, перестать существовать.
Упразднился целый репертуар Полевого, Зотова, Кукольника, и вместо него на сцену выступили пьесы с бытовым содержанием. Салтыков-Щедрин, Петербургские театры.