Esta ley fue derogada en 1838, antes de que las autoridades se hubieran trasladado al Murciélago.