“So they voted for Cruz?”
Yes, their vote for Trump was flipped into a vote for Cruz, and the voter typically is helpless to stop it and correct the flipped vote. This has been a problem in countless elections. See:
Cruz and Trump are 2 rocks the esablishment is pounding together untill they get a desired reslt...
according to the article you posted, I guess the only safe way to vote is:
“Write-in your vote on Election Day, even if your candidate listed on the ballot. Include their party affiliation. When you feed the ballot into the Optech scanner, it will be separated into the write-in bin, and be hand counted after the polls close.”