diff --git a/programming/library/z3/files/gcc13.patch b/programming/library/z3/files/gcc13.patch
new file mode 100644
index 0000000000..7225f7761b
--- /dev/null
+++ b/programming/library/z3/files/gcc13.patch
@@ -0,0 +1,11 @@
+diff -Nuar a/src/util/tptr.h b/src/util/tptr.h
+--- a/src/util/tptr.h	2023-05-12 22:59:04.000000000 +0300
++++ b/src/util/tptr.h	2024-08-18 16:11:47.811835655 +0300
+@@ -20,6 +20,7 @@
+ #pragma once
+ 
+ #include "util/machine.h"
++#include <stdint.h>
+ 
+ #define TAG_SHIFT        PTR_ALIGNMENT
+ #define ALIGNMENT_VALUE  (1 << PTR_ALIGNMENT)
diff --git a/programming/library/z3/pspec.xml b/programming/library/z3/pspec.xml
index c433a9d799..5b141e064b 100644
--- a/programming/library/z3/pspec.xml
+++ b/programming/library/z3/pspec.xml
@@ -22,7 +22,7 @@
 			<Dependency>python3-setuptools</Dependency>
 		</BuildDependencies>
 		<Patches>
-			<!-- <Patch level="1">missing.patch</Patch> -->
+			<Patch level="1">gcc13.patch</Patch>
 		</Patches>
 	</Source>