diff --git a/deps/z3 b/deps/z3
index 813b83b653..32d3e23b48 100644
--- a/deps/z3
+++ b/deps/z3
@@ -1 +1 @@
-4.13.0
+4.13.4