Highlight Sort.

leanprover · Sep 11, 2017 · deb64b0 · deb64b0
1 parent 8690a57
commit deb64b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"
     },
     {