From e69430ae7d22fa6bda9ac0f11727deca24bab9b1 Mon Sep 17 00:00:00 2001
From: Steven Kalt <SKalt@users.noreply.github.com>
Date: Thu, 9 Jan 2020 20:34:07 -0500
Subject: [PATCH] removed duplicate key (#521)

The key "required" was duplicated on "symbol-rule". I removed the more permissive copy.
---
 cli/src/generate/grammar-schema.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/cli/src/generate/grammar-schema.json b/cli/src/generate/grammar-schema.json
index 55388364..22c67aae 100644
--- 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": {