Badajoz, que había colaborado con los norteafricanos, fue anexionada a principios del 1094.