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