My wife's W2 in box 12c (code W) shows the 1K that the employer contributed to her HSA but not the contributions that were deducted from her paycheck. What should I do?

Taxes are due in 2 days, and if the University has to redo her 2018 W2 (and probably that of all its employees), I'm sure it will take a long time.  Should I just file the taxes as if the W2 is accurate and amend later if necessary?  Or should I treat her paycheck deductions as "additional" contributions?