Los funcionarios de la Dirección General de Casinos, cuando trabajen
efectivamente los días 1° de enero, 1° de mayo, 18 de julio, 25 de agosto,
25 de diciembre y en un feriado no laborable dispuesto excepcionalmente
por el Poder Ejecutivo, generarán un día de compensado.-