X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/fa548bb16473fff2f7bb9715e3bdf25e41464bf6..0df66309c10a3773b0b36d9f06258493fd56eaee:/doc/syntax.tex

diff --git a/doc/syntax.tex b/doc/syntax.tex
index 5e17ff3..ef37a38 100644
--- a/doc/syntax.tex
+++ b/doc/syntax.tex
@@ -512,7 +512,8 @@ above, are as follows.
 \begin{grammar}
 <module> ::= @<definition>^*
 
-<definition> ::= <import-definition>
+<definition> ::= <property-definition> \fixme{undefined}
+\alt <import-definition>
 \alt <load-definition>
 \alt <lisp-definition>
 \alt <code-definition>
