Missing End Portal

I have a world seed that I play on all the time called Disc 11. I have been able to do slot with it but when I went to the stronghold there was no End Portal. All that spawned was the library part of the Stronghold.