More than likely it was included in the amounts reported on your W-2. Check with your employer to be sure.
