src/Tools/VSCode/extension/package.json
changeset 64743 ebaf9d01a964
parent 64738 bcdecd466cb2
child 64749 2450b62574c6
--- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 09:38:06 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 09:39:00 2017 +0100
@@ -42,7 +42,7 @@
                     "default": "",
                     "description": "ISABELLE_HOME directory"
                 },
-                "isabelle.arguments": {
+                "isabelle.args": {
                     "type": "array",
                     "items": { "type": "string" },
                     "default": [],