Jak rekompensować pracę wykonywaną przez pracownika ponownie w tej samej dobie

Kilku pracowników naszej firmy, zatrudnionych w podstawowym systemie czasu pracy, przez kilka dni w lipcu 2015 r. w okresie od poniedziałku do piątku pracowało dwukrotnie w tej samej dobie (w firmie nie funkcjonuje ruchomy czas pracy). W jaki sposób możemy zrekompensować im ten czas? Czy powinniśmy wypłacić dodatek, a może udzielić czasu wolnego?