File 0001-Fix-building-with-gcc-13-6723.patch of Package z3

From: =?UTF-8?q?Tomasz=20K=C5=82oczko?=
 <31284574+kloczek@users.noreply.github.com>
Date: Sat, 13 May 2023 17:37:35 +0100
Subject: Fix building with gcc 13 (#6723)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Patch-mainline: yes
Git-commit: 520e692a43c41e8981eb091494bef0297ecbe3c6
References: build fix

Trivial fix to build with gcc 13 reported in #6722.

Signed-off-by: Tomasz Kłoczko <kloczek@github.com>
Signed-off-by: Jiri Slaby <jslaby@suse.cz>
---
 src/util/tptr.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/tptr.h b/src/util/tptr.h
index 6213b2ef..2a35af53 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)
-- 
2.35.3