Según algunos autores, Carlos fue apodado Carlos Martillo tras esta victoria, dado que había machacado a las tropas mahometanas cual un martillo (el martillo era un arma de combate).