diff --git a/tools/future b/tools/future
deleted file mode 160000
index 57f4129a..00000000
--- a/tools/future
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 57f4129a7a0792c6c0f7e44e8c171c8e01c12a41