diff --git a/modules/prompt/external-themes/lean b/modules/prompt/external-themes/lean
index 81d5640..b2e1d7b 160000
--- a/modules/prompt/external-themes/lean
+++ b/modules/prompt/external-themes/lean
@@ -1 +1 @@
-Subproject commit 81d5640ca351b245fab7e22fbbbea0a106012464
+Subproject commit b2e1d7b24d7786bc079a0979b1507ab9baa5cb87