diff --git a/deps/z3_version b/deps/z3_version
index 53cf85e17..32d3e23b4 100644
--- a/deps/z3_version
+++ b/deps/z3_version
@@ -1 +1 @@
-4.12.1
+4.13.4