W jaki sposób należy rozliczyć pracownikowi czas pracy?

Regulamin zakładu pracy przewiduje sobotę jako dzień wolny od pracy. Harmonogramy pracy przedkładane są do wiadomości pracowników przed nowym rokiem, tj. w grudniu. Zakład pracy jest zakładem produkcyjnym. Ze względu na charakter pracy ustalono, że dzień 2.05.2017 r. (wtorek) będzie wolnym dniem, odrobionym w dniu 9.05.2017 r. (sobota). Pracownik wiedział, że dniem roboczym dla niego jest dzień 9.05.2017 r., a mimo to przedłożył dokument o oddaniu krwi w dniu 2.05.2017 r. (ustalony jako wolny). W pracy był 9.05.2017 r.

Jak w konkretnym przypadku należy rozliczyć nominalny czas pracy?