The Solution for a Graveyard That Cannot Be Separated from the Mosque

Question:
Honorable Shaykh, regarding the previous question about the cemetery in the mosque, where there is a grave in the mosque, it is impossible to separate them except by removing the graves or by removing the mosque. So what is the solution?

Answer:
If the mosque was built after the graves, meaning the graves came first and the mosque was built later, then if the graves were built later and the mosque is old, the graves are dug up and removed from the mosque. However, if the mosque is the one that was built later and the graves are older than it, the graves remain and the mosque is shortened. Its area is reduced, and a barrier is placed between it and the cemetery. A barrier is placed between them, and it is taken from the area of the mosque. This barrier is part of the mosque's area.