From 89ebbb9de69b4de83e97f068cd2cbcdb7b3d1fb9 Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jslaby@suse.cz>
Date: Wed, 22 Mar 2023 09:48:50 +0100
Subject: (gcc-13) include cstdint for *int*_t

Otherwise we see errors like this with gcc13:
include/klee/Statistics/Statistic.h:31:10: error: no type named 'uint32_t' in namespace 'std'
---
 include/klee/Core/Interpreter.h     | 1 +
 include/klee/Statistics/Statistic.h | 1 +
 2 files changed, 2 insertions(+)

(limited to 'include')

diff --git a/include/klee/Core/Interpreter.h b/include/klee/Core/Interpreter.h
index f14e3d88..04fdef88 100644
--- a/include/klee/Core/Interpreter.h
+++ b/include/klee/Core/Interpreter.h
@@ -9,6 +9,7 @@
 #ifndef KLEE_INTERPRETER_H
 #define KLEE_INTERPRETER_H
 
+#include <cstdint>
 #include <map>
 #include <memory>
 #include <set>
diff --git a/include/klee/Statistics/Statistic.h b/include/klee/Statistics/Statistic.h
index bbb67116..e675b067 100644
--- a/include/klee/Statistics/Statistic.h
+++ b/include/klee/Statistics/Statistic.h
@@ -10,6 +10,7 @@
 #ifndef KLEE_STATISTIC_H
 #define KLEE_STATISTIC_H
 
+#include <cstdint>
 #include <string>
 
 namespace klee {
-- 
cgit 1.4.1