Kiedy należy wyznaczyć dodatkowy dzień wolny za pracę w niedzielę

Pracownik ma zaplanowaną pracę od godziny 19:00 w sobotę do godziny 7:00 w niedzielę. Zgodnie z regulaminem pracy "niedziela" nie została w firmie określona, dlatego zastosowanie ma definicja niedzieli wynikająca z Kodeksu pracy, tj. od godziny 6:00 w niedzielę do godziny 6:00 w poniedziałek. Za pracę w sobotę pracownikowi wyznaczany jest inny dzień wolny. Czy w opisanej sytuacji należy dodatkowo wyznaczyć dzień wolny za pracę w niedzielę, skoro część zmiany przypada na niedzielę w rozumieniu Kodeksu pracy? Dodatkowe informacje: okres rozliczeniowy - do 12 miesięcy, równoważny system czasu pracy, praca w niedziele i święta jest dopuszczalna ze względu na profil działalności firmy.