Employers are not permitted to make after-tax contributions. Since this was an employer contribution, its was pre-tax.
