The simplest thing to do is just wait. After a few months the IRS will notice the duplicate payment and send you a refund, without your having to do anything.
