diff --git a/ext/doctest b/ext/doctest
deleted file mode 160000
index ae7a13539..000000000
--- a/ext/doctest
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit ae7a13539fb71f270b87eb2e874fbac80bc8dda2