From 06ffc8856ed692bbfc48ba5b29a407110fe15e1c Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Tue, 7 Jan 2025 07:50:14 -0700
Subject: [PATCH] Update dependency: deps/z3 (#4720)

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: palinatolmach <polina.tolmach@gmail.com>
---
 deps/z3                                | 2 +-
 package/docker/Dockerfile.ubuntu-noble | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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
diff --git a/package/docker/Dockerfile.ubuntu-noble b/package/docker/Dockerfile.ubuntu-noble
index acd3882b7d..e2232744d3 100644
--- a/package/docker/Dockerfile.ubuntu-noble
+++ b/package/docker/Dockerfile.ubuntu-noble
@@ -1,4 +1,4 @@
-FROM runtimeverificationinc/z3:ubuntu-noble-4.13.0
+FROM runtimeverificationinc/z3:ubuntu-noble-4.13.4
 
 ENV TZ=America/Chicago
 RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone