Ferias em mês com feriado já compensado

Bom dia pessoal,

Gostaria que vocês compartilhassem comigo o que fazem na seguinte situação.

Aqui trabalhamos os feriados municipais em troca de folgas entre o natal e o ano novo. Acontece que terei funcionários de ferias neste período de final de ano, e como eles já compensaram alguns feriados, para não trabalhar. Como devo tratar esses dias? Pago em hora extra, ou dou mais dias de ferias?

Por favor, compartilhem suas praticas, ou se tiver alguma fundamentação divulguem.

Abs!

Bom dia,

Eu entendo que vc deverá prorrogar o retorno de férias pelo número de dias compensados que estão dentro do período do de gozo das férias..