Maybe he did? When it is in a bank, legally it isn't your money but theirs
Discussion
Correct, you are the first creditor to their money.
Either way, he would have a transaction number, date, and amount; making recovery trivial. Not recovering it, when he has proof of the deposit, would be easily actionable to the point that the bank would not consider ignoring it.