férias

Bom dia...

tenho um funcionário que vai sair de férias no dia 01/04/2020 e retornar em 04/05/2020 30 dias , mas o empregador me passou a informação de que ele já tirou esses dias de férias, e quer saber como ele faz pra descontar esse valor. Fiz o valor do recibo normal com os 30 dias, e mandei pra ele, a data do pagamento será  em 30/03.

Se ele descontar os 30 dias ela não vai receber 12 salários e sim 11, está correto?

então:
As ferias começando em 01/04 termina em 30/04.
referente ele já recebeu as ferias em outra ocasião, basta saber se foi pago com 1/3, caso não foi pago , ele pode esta fazendo este pagamento agora ferias normal e funcionário não saindo de ferias. já que ele gozou em outra data .