Not all Gideons are Allies

Abel is playing in a Standard PPTQ against Nick. Abel taps 4 Plains, declares ‘Cast Gideon, Ally of Zendikar’, and puts a card from his hand onto the table. He then says ‘make a knight’, and puts a 2/2 Knight Ally token into play, and says ‘your turn.’ After he draws for turn, Nick is evaluating the board state and notices that the card in play is Gideon of the Trials, not Gideon, Ally of Zendikar. The players call for a judge, and when you arrive you verify that there is in fact a Gideon, Ally of Zendikar in Abel’s hand, he simply put down the wrong card.

What do you do?

Judges feel free to answer on Judge Apps!

Abel receives a Warning for Game Rule Violation, and Nick a Warning for Failure to Maintain Game State. Back the game up to the point of the error, including returning a random card from Nick’s hand to the top of his library, tapping any appropriate lands, removing the Knight token, and returning Gideon to Abel’s hand and untapping Abel’s lands.