El claustro de San Miguel no existe actualmente.