diff --git a/z3 b/z3
index 9b462feae5..3c18fc3670 160000
--- a/z3
+++ b/z3
@@ -1 +1 @@
-Subproject commit 9b462feae5426dda99d2a151f1a02aba848368f0
+Subproject commit 3c18fc367058950f81fb9c40041012345c42ef65