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