X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/fe471148e34552002cfb25d235f62fd557865dda..7d8d3a165fa725b686d1c89b78179a4d5705d11a:/doc/syntax.tex

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