Babaoshan Revolutionary Cemetery
Ding died on October 12, 2019 in Beijing, aged 92. On October 17, he was buried in the Babaoshan Revolutionary Cemetery.