La población fue denominada "Real Minas de Tegucigalpa", obteniendo el título de Villa de San Miguel de Heredia.