From 40f2456eca4c0386a1fd473cfdf61253d13f0048 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 22 Aug 2019 12:54:50 +0100
Subject: [PATCH] doc/syntax.tex: Give the REASON in a `code' definition a
 name.

---
 doc/syntax.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/syntax.tex b/doc/syntax.tex
index c50608c..0b415d2 100644
--- a/doc/syntax.tex
+++ b/doc/syntax.tex
@@ -670,9 +670,11 @@ declarations instead.
 
 \begin{grammar}
 <code-definition> ::=
-  "code" <identifier> ":" <item-name> @[<constraints>@]
+  "code" <reason> ":" <item-name> @[<constraints>@]
   "{" <c-fragment> "}"
 
+<reason> ::= <identifier>
+
 <constraints> ::= "[" <list>$[\mbox{@<constraint>}]$ "]"
 
 <constraint> ::= @<item-name>^+
-- 
2.11.0

