Ineficacia del cumplimiento de la sentencia recurrida

Cuando la Corte case una sentencia que ya fue cumplida, declarará sin efectos los actos realizados con tal fin, y dispondrá cuanto sea necesario para que no subsista ninguna consecuencia derivada de la sentencia casada.