The refund was probably from the original tax return because amended returns are currently taking 6 months or longer to process. If mailed in June then the mail might not even have been opened yet since mail processing at the IRS is way behind and there is a huge backlog.
You can check the status of your amended return here after the IRS enters in it the system.
https://www.irs.gov/filing/wheres-my-amended-return
**Disclaimer: This post is for discussion purposes only and is NOT tax advice. The author takes no responsibility for the accuracy of any information in this post.**
