From 17876b6826a0cef199c400032d6c7efbf3cda16b Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Fri, 17 Mar 2017 16:41:30 -0700
Subject: [PATCH] Update grammar JSON schema

---
 doc/grammar-schema.json | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/doc/grammar-schema.json b/doc/grammar-schema.json
index f37cd983..916d5eff 100644
--- 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*$"
-      }
     }
   },