Sin embargo, esa ley no se hizo efectiva y fue derogada en 1838 por otra que fijó la capital de modo permanente en San José, ciudad que había servido de capital temporal mientras no se construyesen en el Murciélago los edificios necesarios.