Contact your formal employer to change it!

No, if I were you, I will definitely contact the HR of my formal employer if they had made a mistake. Discharged is the same as Fired, and you don't want it to be part of your employment history, it will haunt you forever!