упраздниться

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