deps/z3: Set Version 4.13.0 (#772)

Co-authored-by: devops <devops@runtimeverification.com>
runtimeverification · Aug 14, 2024 · a4771b6 · a4771b6
1 parent c7cd7af
commit a4771b6
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/deps/z3 b/deps/z3
@@ -1,2 +1 @@
-4.12.1
-
+4.13.0