Doit-il refaire sa prière s’il découvre après coup qu’il y avait une tombe dans la mosquée ?

On ne doit pas prier dans une mosquée construite sur une tombe. Si quelqu’un y prie, il doit refaire sa prière.