From 99c516b5ad0bfdb8ecc287a326694aeb114f56d8 Mon Sep 17 00:00:00 2001
From: "Steinar H. Gunderson" <sgunderson@bigfoot.com>
Date: Sat, 15 Jul 2023 17:15:42 +0200
Subject: [PATCH] Fix a build failure with GCC 13.

---
 futatabi/flags.h          | 1 +
 shared/va_resource_pool.h | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/futatabi/flags.h b/futatabi/flags.h
index 6e59d9d..80571de 100644
--- a/futatabi/flags.h
+++ b/futatabi/flags.h
@@ -3,6 +3,7 @@
 
 #include "defs.h"
 
+#include <stdint.h>
 #include <string>
 #include <unordered_map>
 
diff --git a/shared/va_resource_pool.h b/shared/va_resource_pool.h
index e8f276f..4802f8b 100644
--- a/shared/va_resource_pool.h
+++ b/shared/va_resource_pool.h
@@ -1,6 +1,8 @@
 #ifndef _VA_RESOURCE_POOL
 #define _VA_RESOURCE_POOL 1
 
+#include <stdio.h>
+#include <stdlib.h>
 #include <inttypes.h>
 #include <va/va.h>
 
-- 
2.39.2