diff --git a/modules/prompt/external-themes/lean b/modules/prompt/external-themes/lean
index 2460262..9e1b490 160000
--- a/modules/prompt/external-themes/lean
+++ b/modules/prompt/external-themes/lean
@@ -1 +1 @@
-Subproject commit 2460262252df11bead7789b12674da421e65ea1a
+Subproject commit 9e1b4901d17f2f0bb2fb90408a366a92ee798899