Stronghold not spawning in seed with stronghold.

Hi, my friend was playing minecraft and she discovered a bug. When she was playing mcpe, she made a world that have a Ender Temple, but there wasn't any ender temple. So i think the ender temple did not spawned, and i believe this is a bug. Everyone else says that there is an ender portal there, but she didn't found an ender portal there!

The devise is samsung grand max
Samsung SM-G720N0