Czy za święto 3 Maja trzeba oddać pracownikom dzień wolny

W naszym zakładzie pracownicy pracują w systemie podstawowym czasu pracy. Praca odbywa się od poniedziałku do piątku. Czy za święto 3 Maja, które przypada w tym roku w niedzielę, trzeba oddać pracownikom dodatkowy dzień wolny?