sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch


1
2
3
4
5
6
7
8
9
10
11
12

diff --git a/src/util/tptr.h b/src/util/tptr.h
index 6213b2efa40..2a35af5353d 100644
--- a/src/util/tptr.h
+++ b/src/util/tptr.h
@@ -20,6 +20,7 @@ Revision History:
 #pragma once
 
 #include "util/machine.h"
+#include <cstdint>
 
 #define TAG_SHIFT        PTR_ALIGNMENT
 #define ALIGNMENT_VALUE  (1 << PTR_ALIGNMENT)