diff --git a/modules/prompt/external-themes/lean b/modules/prompt/external-themes/lean
index b2e1d7b..4e33a1f 160000
--- a/modules/prompt/external-themes/lean
+++ b/modules/prompt/external-themes/lean
@@ -1 +1 @@
-Subproject commit b2e1d7b24d7786bc079a0979b1507ab9baa5cb87
+Subproject commit 4e33a1f6f7d5b145056a32e78ae74796d6aaf966