diff options
author | Emanuele Rocca <ema@debian.org> | 2023-08-24 15:50:28 +0200 |
---|---|---|
committer | nickjsanders <nick.j.sanders@gmail.com> | 2023-08-24 14:34:38 -0700 |
commit | 1a50457697d7b3357274dfdd659eb6238ed9b263 (patch) | |
tree | f5bb368b80a37afb3807b9b234042274617a5827 | |
parent | 3d3d1763fed4bbf74be570068d69ede1d5258668 (diff) |
Include cstdint to fix compilation with GCC-13
-rw-r--r-- | src/os.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -21,6 +21,7 @@ #include <sys/syscall.h> #include <stdint.h> +#include <cstdint> #include <string> #include <list> #include <map> |