Jaki dodatek przysługuje pracownikowi za pracę 3 maja, który był dla pracownika dniem wolnym od pracy

Jeden z naszych pracowników pracował w święto 3 Maja. Według grafiku był to dla niego dzień wolny, ale z powodu niestawienia się w pracy innego pracownika musieliśmy go wezwać do pracy. Jak mu zrekompensować ten dzień pracy?