Do not mark begin/end as matching brackets.

leanprover · May 30, 2022 · 7c891a6 · 7c891a6
1 parent 3b326b2
commit 7c891a6
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/language-configuration.json b/language-configuration.json
@@ -43,8 +43,7 @@
         ["［", "］"],
         ["｛", "｝"],
         ["｢", "｣"],
-        ["\"", "\""],
-        ["begin", "end"]
+        ["\"", "\""]
     ],
     "autoClosingPairs": [
         ["(", ")"],