Czy pracownikowi przysługuje dzień wolny za święto w sytuacji zatrudnienia bezpośrednio po dniu świątecznym

Dajemy pracownikom całej firmy dzień wolny 2 maja za święto przypadające w sobotę 3 maja. Jak postąpić w przypadku pracownika, którego zatrudnimy 5 maja? Czy jemu należy się dzień wolny za 3 maja, skoro wówczas nie pracował?