Should he repeat his prayer if he later discovers that there was a grave inside the mosque?

One should not pray in a mosque built over a grave. If someone prays there, they must repeat the prayer.