The injunction issued Thursday by U.S. District Court Judge Joseph Bataillon was largely a formality, as a Supreme Court ruling in late June legalized gay marriage across the county.

Bataillon’s injunction orders state officials to treat same-sex couples the same as different-sex couples in everything from processing marriage certificates to issuing birth certificates.

State attorneys had argued that the injunction was not necessary, because the state has complied with the Supreme Court’s ruling since it was issued.

But several same-sex couples who challenged the state’s ban in 2014 argued that the state’s attempt last year to exclude same-sex spouses on their children’s birth certificates showed that the injunction was necessary.