From 74d9e08155ec76294e1e84431cb57bee90ec3e06 Mon Sep 17 00:00:00 2001
From: Paul Chaignon <paul.chaignon@gmail.com>
Date: Sun, 10 Dec 2017 18:21:50 +0100
Subject: [PATCH] Fix typo

---
 Syntaxes/Lean.tmLanguage | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Syntaxes/Lean.tmLanguage b/Syntaxes/Lean.tmLanguage
index dd08019..ee2bd88 100644
--- a/Syntaxes/Lean.tmLanguage
+++ b/Syntaxes/Lean.tmLanguage
@@ -57,7 +57,7 @@
                         <string>[ \t\n\r{(\[]</string>
                         <key>name</key>
                         <string>meta.names.lean</string>
-                        <key>pattern</key>
+                        <key>patterns</key>
                         <array/>
                 </dict>
                 <dict>