Update grammar JSON schema

2017-03-17 16:41:30 -07:00 · 2017-03-17 16:41:30 -07:00 · 17876b6826
commit 17876b6826
parent ed8fbff175
1 changed files with 7 additions and 8 deletions
--- a/doc/grammar-schema.json
+++ b/doc/grammar-schema.json
@ -31,6 +31,13 @@
      }
    },

+    "externals": {
+      "type": "array",
+      "items": {
+        "$ref": "#/definitions/rule"
+      }
+    },
+
    "conflicts": {
      "type": "array",
      "items": {
@ -40,14 +47,6 @@
          "pattern": "^[a-zA-Z_]\\w*$"
        }
      }
-    },
-
-    "externals": {
-      "type": "array",
-      "items": {
-        "type": "string",
-        "pattern": "^[a-zA-Z_]\\w*$"
-      }
    }
  },