From 1a587092fedb2d4cdf70416815840303d5262388 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= <arpl@cs.stanford.edu>
Date: Fri, 2 Feb 2024 17:14:38 -0800
Subject: [PATCH] Add missing header for newer GCC versions

---
 utils/str_util.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/utils/str_util.h b/utils/str_util.h
index c0ec72637..92b9c8fd4 100644
--- a/utils/str_util.h
+++ b/utils/str_util.h
@@ -16,6 +16,7 @@
  
 
 #include <algorithm>
+#include <cstdint>
 #include <functional>
 #include <string>
 #include <vector>