It didn't lynch him, it executed him after going through a lengthy trial. HUGE difference.
Perhaps the better word to use would have been "hanged". I wasn't attempting to cast any aspersion on the process, just point out that he died at the end of a rope.