Given it was Shaw's second head injury in recent months, he was out of the squad per concussion protocols.
Alex Telles took his place for the game in Spain, which United won 2-0.
Carrick said to BT Sport: ''Luke had concussion a couple of weeks ago [during the Manchester derby against City] and then got another knock, so we just need to assess him as a precaution.''
Need a VPN? Or seeking to switch? Then support Tribal Football by clicking here to sign up with our official partners NordVPN. Not only will you receive the best VPN experience, but also great discounts by signing up via Tribal Football. Thanks for your support!