Kudos to the dealer for doing the right thing: Nothing - just call the floor. 👍
Without bothering to look for a rule, I would say that since no cards were dealt, just wash the deck, reshuffle and move on.
Or, since by the time the floor gets there, the shuffle machine is probably done with the other deck, so just wash the bad deck, swap them, and move on.