diff --git a/assets/syntaxes/02_Extra/Lean b/assets/syntaxes/02_Extra/Lean
index 49d18536..824213de 160000
--- a/assets/syntaxes/02_Extra/Lean
+++ b/assets/syntaxes/02_Extra/Lean
@@ -1 +1 @@
-Subproject commit 49d185361a9943f440d8efe389259a3374ade905
+Subproject commit 824213de37245140d75cdcffb3fbd6f61f73a97c