Merge pull request #259 from j3parker/patch-1

Fix typo in settings description
coq · Dec 15, 2021 · 125185f · 125185f
2 parents 1d0077f + 65ca399
commit 125185f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -116,7 +116,7 @@
             "subsequent"
           ],
           "default": "preceding",
-          "description": "Controls whether viewing the state of a sentence reveaks either the parent/source/preceding or child/subsequent state."
+          "description": "Controls whether viewing the state of a sentence reveals either the parent/source/preceding or child/subsequent state."
         },
         "coq.showProofViewOn": {
           "type": "string",