As the estate of Holyroodhouse was unlikely to ever be recognised as in 1671 it had been redeveloped by the crown to create Holyrood Palace.
The estate of Holyroodhouse was not recognized in 1671, so the crown redeveloped it into Holyrood Palace.