diff --git a/deps/z3_version b/deps/z3_version
index 813b83b65..32d3e23b4 100644
--- a/deps/z3_version
+++ b/deps/z3_version
@@ -1 +1 @@
-4.13.0
+4.13.4