diff --git a/deps/z3 b/deps/z3
index 53cf85e173..813b83b653 100644
--- a/deps/z3
+++ b/deps/z3
@@ -1 +1 @@
-4.12.1
+4.13.0