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