Czy pracownikowi za pracę w święto można oddać dzień wolny, w którym miał on pracować krócej niż w święto?

Jeden z naszych pracowników wykonywał pracę 11 listopada br. Pracownik ten jest zatrudniony w systemie równoważnego czasu pracy. Pracuje przez 4 dni w tygodniu: 3 dni po 12 godzin i 1 dzień 4 godziny. 11 listopada miał być dla pracownika dniem wolnym. Jednak ze względu na szczególne potrzeby zakładu musiał stawić się w pracy i wykonywać ją przez 8 godzin. W naszym zakładzie obowiązuje 2-miesięczny okres rozliczeniowy obejmujący listopad i grudzień. Postanowiliśmy więc udzielić pracownikowi dnia wolnego w grudniu br. w zamian za pracę w święto. Dzień wolny miał być udzielony w dniu, w którym, zgodnie z obowiązującym pracownika grafikiem, miał on pracować 4 godziny. Pracownik uważa, że nie możemy udzielić mu dnia wolnego w dniu, w którym miał pracować krócej niż 8 godzin. Czy ma rację?