Antiguamente era llamado "San Cristóbal de Campdevanol".