It can take 12 weeks or longer to finish processing an amended tax return. That said, the IRS would cash the check you sent, even before it's completed processing.
Depending on how long it's been since you amended, you can choose to wait a little longer. Or, he can print and mail his taxes with a letter explaining the situation.
Filing a Paper Return by Mail
https://ttlc.intuit.com/replies/3401713
