doc/syntax.tex: Give the REASON in a `code' definition a name.

diff --git a/doc/syntax.tex b/doc/syntax.tex
index c50608c9e6bd314c14e95ab06e1cdafa5d160c1e..0b415d27cfc9ffce7b0413c8b5e2f486e5aeb3c4 100644 (file)
--- a/doc/syntax.tex
+++ b/doc/syntax.tex
@@ -670,9 +670,11 @@ declarations instead.
 
 \begin{grammar}
 <code-definition> ::=
 
 \begin{grammar}
 <code-definition> ::=

-  "code" <identifier> ":" <item-name> @[<constraints>@]
+  "code" <reason> ":" <item-name> @[<constraints>@]

   "{" <c-fragment> "}"
 
   "{" <c-fragment> "}"
 

+<reason> ::= <identifier>
+

 <constraints> ::= "[" <list>$[\mbox{@<constraint>}]$ "]"
 
 <constraint> ::= @<item-name>^+
 <constraints> ::= "[" <list>$[\mbox{@<constraint>}]$ "]"
 
 <constraint> ::= @<item-name>^+