diff --git a/src/solvers/strings/string_format_builtin_function.cpp b/src/solvers/strings/string_format_builtin_function.cpp
index 14e32a86e8cb..e0159ee4f142 100644
--- a/src/solvers/strings/string_format_builtin_function.cpp
+++ b/src/solvers/strings/string_format_builtin_function.cpp
@@ -9,6 +9,7 @@ Author: Romain Brenguier, Joel Allred
 /// \file
 ///  Built-in function for String.format
 
+#include <cstdint>
 #include <iterator>
 #include <string>