A decisão do ministro Luiz Fux atendeu a um pedido da Procuradoria Geral do Estado. A Secretaria de Estado de Fazenda informou que o valor será usado no pagamento de servidores que estão com salários atrasados.