I would highly recommend having the bank issue a new card and also explain to the bank what happened. It's very likely that the vendor your friend made the purchase at is violating the rules regarding credit card security, and his bank would be privy to those regulations. He could save others from potential fraud by being the one to get that business to change their receipt layout.
Here in the U.S. it violates Federal Law to print a non-truncated version of the credit card number on a receipt and can result in a business no longer being allowed to accept credit cards at all.
According to the federal Fair and Accurate Credit Transaction Act
(FACTA), the electronically printed credit and debit card receipts you
give your customers must shorten — or truncate — the account
information. You may include no more than the last five digits of the
card number, and you must delete the card’s expiration date.