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