Instead, the federal judge said Correll could be free to vote against Trump if delegates are awarded proportionally, and the statute compelling delegates to vote for the same candidate on the first ballot was invalidated.