fix <cstdint> header miss#704

Open

WentsingNee wants to merge 1 commit intotfussell:masterfrom

WentsingNee:master

Commits on May 26, 2023

fix <cstdint> header miss, which may cause compile errors under new version of libstdc++
WentsingNee
committed