From deb64b0aeba43ffef4aac7224d92176b103a2731 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Mon, 11 Sep 2017 11:18:52 +0200
Subject: [PATCH] Highlight Sort.

---
 syntaxes/lean.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/syntaxes/lean.json b/syntaxes/lean.json
index 9e2f76a..e93fee0 100644
--- a/syntaxes/lean.json
+++ b/syntaxes/lean.json
@@ -51,7 +51,7 @@
       ]
     },
     {
-      "match": "\\b(Prop|Type)\\b",
+      "match": "\\b(Prop|Type|Sort)\\b",
       "name": "storage.type.lean"
     },
     {