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