Finalmente, el 30 de diciembre del mismo año se denominó Pinal de Amoles.