If an employee resigns receiving PILON, is the employer obliged to pay holiday pay?

Q. We have an employee who is leaving the public sector and is being paid three months in lieu of notice plus pension entitlement for the notice period. He had a without prejudice meeting to agree this—we'll maybe discuss the lawfulness of without prejudice meetings in Northern Ireland—but anyway he had a without prejudice meeting to agree this and he handed in his notice.

However, the written terms that he has been offered do not clarify whether he will be paid any annual leave entitlement for the three-month period. Do we also have to pay holiday pay that would have been accrued or do we not have to pay it, as he will not have worked the three months' notice period because he's been a