Trump’s executive order, signed in January, seeks to deny citizenship to children who are born to people who are living in the U.S. illegally or temporarily. It is part of the hard-line immigration agenda of the president, who has called birthright citizenship a “magnet for illegal immigration.”

A federal judge halted the government from enforcing the order denying citizenship to babies born to undocumented immigrants and people with temporary status.