Todo empregado tem direito ao repouso semanal remunerado, preferentemente aos domingos e nos feriados.

Nas atividades em que não for possível, em virtude das exigências técnicas das empresas, a suspensão do trabalho, nos dias feriados civis e religiosos, a remuneração será paga em dobro, salvo se o empregador determinar outro dia de folga.

Pela narrativa o empregado trabalha na escala 6 x 1. Ou seja, trabalha 6 dias e folga 1. Se dentro dos 6 dias houver 01 feriado, o empregado tem direito a folgar esse feriado, e se trabalhar, deve receber hora extra ou outro dia de folga em substituição ao feriado trabalhado.

O post informa que a folga recaiu exatamente no feriado, então, não há o que se falar em outro dia de folga, pois o empregado não trabalhou no feriado.

Podemos tomar como parâmetro o empregado que trabalha de segunda a sábado e folga no domingo. Se coincidir do feriado recair no domingo, ele não tem direito a outra folga, pois não trabalhou no domingo.

Lei 605/49:

Art. 1º Todo empregado tem direito ao repouso semanal remunerado de vinte e quatro horas consecutivas, preferentemente aos domingos e, nos limites das exigências técnicas das empresas, nos feriados civis e religiosos, de acordo com a tradição local.

[…]

Art. 9º Nas atividades em que não for possível, em virtude das exigências técnicas das empresas, a suspensão do trabalho, nos dias feriados civis e religiosos, a remuneração será paga em dobro, salvo se o empregador determinar outro dia de folga.

Escala 6x1 feriados

E-book | Entendendo a Reforma Tributária sobre o Consumo