Czy należy oddać pracownikowi dzień wolny za pracę w niedzielę, jeżeli faktycznie była wykonywana w poniedziałek rano?

Jeden z naszych pracowników, zatrudniony w podstawowym systemie czasu pracy, wykonujący pracę od poniedziałku do piątku, został w trybie awaryjnym wezwany do pracy w poniedziałek na godz. 5.00 i wykonywał tego dnia pracę do godz. 15.00. Zgodnie z rozkładem czasu pracy pracuje on w godz. 7.00-15.00. Pracownik przepracował więc w poniedziałek 10 godzin. Istniejący w zakładzie pracy regulamin pracy stanowi, że pracą w niedzielę i święto jest praca między godz. 6.00 w tym dniu a 6.00 w dniu następnym. Pracownik przepracował 1 godzinę w tej porze i wystąpił z wnioskiem o udzielenie dnia wolnego od pracy w zamian za pracę w niedzielę. Czy jesteśmy zobowiązani do udzielenia dnia wolnego w sytuacji, gdy praca ta trwała tylko 1 godzinę i miała miejsce w zasadzie w poniedziałek rano?