Pero el conjunto de los edificios se demolió en 1792, al igual que el claustro.