diff --git a/assets/syntaxes/02_Extra/Lean b/assets/syntaxes/02_Extra/Lean
index 824213de..29a03a8a 160000
--- a/assets/syntaxes/02_Extra/Lean
+++ b/assets/syntaxes/02_Extra/Lean
@@ -1 +1 @@
-Subproject commit 824213de37245140d75cdcffb3fbd6f61f73a97c
+Subproject commit 29a03a8abaa884bde65b3c3dd1e46e87bb0fbfc4