You probably don't have to do anything. The IRS will detect the duplicate payment and send you a refund. Just wait a few weeks to let them take care of it.
