X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/blobdiff_plain/d018d6d87c7a2c3458348f775319b6f9c4a88380..54ea6ee880f52c23279bf58262ca245b531d04b0:/doc/syntax.tex

diff --git a/doc/syntax.tex b/doc/syntax.tex
index 0b415d2..8c66487 100644
--- a/doc/syntax.tex
+++ b/doc/syntax.tex
@@ -672,6 +672,8 @@ declarations instead.
 <code-definition> ::=
   "code" <reason> ":" <item-name> @[<constraints>@]
   "{" <c-fragment> "}"
+\alt
+  "code" <reason> ":" <constraints> ";"
 
 <reason> ::= <identifier>
 
