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