Fetching details from the dictionary...
compensatory holiday (for working on a day off); time in lieu