diff --git a/modules/prompt/external-themes/lean b/modules/prompt/external-themes/lean
index 3cf61b2..f67f414 160000
--- a/modules/prompt/external-themes/lean
+++ b/modules/prompt/external-themes/lean
@@ -1 +1 @@
-Subproject commit 3cf61b240d0bb0e3d1c517d2324534ddbf3614e8
+Subproject commit f67f414e4c8317811fdd6c4f93b4cfe7962ede13