The amount should automatically flow to the employer contribution line.

The only thing you fill out is are the two spots saying they had a self-only or family HDHP.

The contribution line is only if the person makes contributions outside of the employer (that are not reported as Code "W" in Box 12 of the W-2).