From 7b00b99e60648de40ef9c87ee8c456939ea78d74 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Mon, 14 Oct 2024 08:20:12 +0700
Subject: [PATCH] Update bundled sources to Z3 4.13.3 (#315)

---
 z3-sys/z3 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/z3-sys/z3 b/z3-sys/z3
index 9a8ff749..54d30f26 160000
--- a/z3-sys/z3
+++ b/z3-sys/z3
@@ -1 +1 @@
-Subproject commit 9a8ff74924561557f2b0e748f95a7764540e866a
+Subproject commit 54d30f26f72ce62f5dcb5a5258f632f84858714f