diff --git a/modules/prompt/external-themes/lean b/modules/prompt/external-themes/lean
index aed0ef1..3247b1d 160000
--- a/modules/prompt/external-themes/lean
+++ b/modules/prompt/external-themes/lean
@@ -1 +1 @@
-Subproject commit aed0ef17b4a98e60174fcca0facadec3c8310ec3
+Subproject commit 3247b1d503056b640d674fe75af524259be142c9