removed duplicate key (#521)

The key "required" was duplicated on "symbol-rule". I removed the more permissive copy.
2020-01-09 20:34:07 -05:00 · 2020-01-09 20:34:07 -05:00 · e69430ae7d
commit e69430ae7d
parent 39bfcdf595
1 changed files with 0 additions and 1 deletions
--- a/cli/src/generate/grammar-schema.json
+++ b/cli/src/generate/grammar-schema.json
@ -102,7 +102,6 @@
    },

    "symbol-rule": {
-      "required": ["name"],
      "type": "object",
      "properties": {
        "type": {