ferias

Uma funcionária que está de licença maternidade desde 05/2013,tinha até 07/2013 para ser concedida suas férias, senão suas férias dobraria, ela retornará da licença em 09/2013 e receberá suas férias. A pergunta é: As férias dela deverá ser paga dobrada ou ela não tem direito a receber férias em dobro já que ela estava de licença maternidade?

boa tarde

deverá ser dobrada,pois a empresa poderia ter dado durante a gravidez