diff --git a/src/deps/optional-lite b/src/deps/optional-lite
index 0854335c64..f7ed80fc61 160000
--- a/src/deps/optional-lite
+++ b/src/deps/optional-lite
@@ -1 +1 @@
-Subproject commit 0854335c64461d07d00f85b068075ed8871859ec
+Subproject commit f7ed80fc616458d77b7392441b3506f341069e17