Can you go to that machine again and try to make another withdrawal but for a small amount of money. That way you'll see whether the next person will get your code because you'll be the next person, and you won't risk losing a lot if the same issue repeats. Peace of mind will be worth it IMO. That's of course unless it's been some time and you think people have already used the machine.