From 0df66309c10a3773b0b36d9f06258493fd56eaee Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 27 Jul 2019 14:10:51 +0100
Subject: [PATCH] doc/syntax.tex: Add property definitions to module syntax.

Currently not defined, which is a shame.
---
 doc/syntax.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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>
-- 
2.11.0