Your best bet will be to get an amended 1099-B.
If the money was withheld the IRS will know it, because it will show up on your account for 2019, just like your withholding.
**Say "Thanks" by clicking the thumb icon in a post
**Mark the post that answers your question by clicking on "Mark as Best Answer"
