From 59bcfe478184c230ba1f56e55c0495a272a15778 Mon Sep 17 00:00:00 2001
From: Chuyan Zhang <chuyan@ucsb.edu>
Date: Tue, 14 May 2024 13:03:21 -0700
Subject: [PATCH] Explicitly include <cstdint> for GCC 13 compatibility

---
 cpp/tool/filename.h | 1 +
 cpp/tool/pooling.h  | 1 +
 2 files changed, 2 insertions(+)

diff --git a/cpp/tool/filename.h b/cpp/tool/filename.h
index 05e2a8d..a70ddea 100644
--- a/cpp/tool/filename.h
+++ b/cpp/tool/filename.h
@@ -52,6 +52,7 @@
 
 #include <algorithm>
 #include <cassert>
+#include <cstdint>
 #include <string>
 #include <iostream>
 #include <sstream>
diff --git a/cpp/tool/pooling.h b/cpp/tool/pooling.h
index a88d4f0..7b5f6ff 100644
--- a/cpp/tool/pooling.h
+++ b/cpp/tool/pooling.h
@@ -53,6 +53,7 @@
 #include <cmath>
 #include <vector>
 #include <string>
+#include <cstdint>
 #include <sstream>
 #include <fstream>
 #include <iostream>