diff --git a/Optional b/Optional
deleted file mode 160000
index 298c2fc5..00000000
--- a/Optional
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 298c2fc5b3a70db73a916e6036cc7db63fb35551