Czy trzeba oddać pracownikowi dzień wolny za poniedziałek wielkanocny, który był dla niego dniem wolnym od pracy wynikającym z rozkładu czasu pracy

Pracownik pracuje w podstawowym systemie czasu pracy w 3-miesięcznym okresie rozliczeniowym, który przypada od 1 kwietnia do 30 czerwca br. Obowiązuje go 40-godzinny tydzień pracy, ale przypadający od wtorku do soboty. Wielkanocny poniedziałek był więc dla niego dniem wolnym od pracy na podstawie rozkładu czasu pracy, dlatego pracownik chce mieć w związku z tym dodatkowy dzień wolny w maju br. Czy powinnam mu udzielić takiego dnia wolnego?