diff --git a/pure b/pure
deleted file mode 160000
index c42bd35..0000000
--- a/pure
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit c42bd354943ba4cf2da3ecf493fca4fef0b2722c