diff --git a/z3test b/z3test
deleted file mode 160000
index 4186a4bf4..000000000
--- a/z3test
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 4186a4bf47b920d50671c396f904fe69e3e5c41d