diff --git a/modules/prompt/external-themes/lean b/modules/prompt/external-themes/lean
index 0ccf0c3..aed0ef1 160000
--- a/modules/prompt/external-themes/lean
+++ b/modules/prompt/external-themes/lean
@@ -1 +1 @@
-Subproject commit 0ccf0c34ac23fe86a69f78a960d5b340b0f4c880
+Subproject commit aed0ef17b4a98e60174fcca0facadec3c8310ec3