deps/z3: Set Version 4.13.0 (#2578)

runtimeverification · Aug 14, 2024 · c4ed5b2 · c4ed5b2
1 parent 933d660
commit c4ed5b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/z3 b/deps/z3
@@ -1 +1 @@
-4.12.1
+4.13.0