diff --git a/assets/syntaxes/02_Extra/Lean b/assets/syntaxes/02_Extra/Lean
index 7e99440b..49d18536 160000
--- a/assets/syntaxes/02_Extra/Lean
+++ b/assets/syntaxes/02_Extra/Lean
@@ -1 +1 @@
-Subproject commit 7e99440b33c834b11deda67144a6a7ce5a666f0e
+Subproject commit 49d185361a9943f440d8efe389259a3374ade905