Sobre dicha fosa común Alfonso V ordenó erigir un altar dedicado a San Martín, obispo y confesor, aunque en la actualidad, como señalan diversos historiadores, resultaría imposible la identificación e individualización de los restos del rey Alfonso IV, que sin embargo figura en la lista de los monarcas sepultados en San Isidoro de León.