diff options
Diffstat (limited to 'sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch')
| -rw-r--r-- | sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch b/sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch new file mode 100644 index 000000000000..74f8abed1e3b --- /dev/null +++ b/sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch @@ -0,0 +1,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) |