summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2015-11-26 10:31:04 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2015-11-26 10:31:04 +0200
commit667130a0eb2c0e42125738f232f4652706b58556 (patch)
tree1e26ccb5c6249528b34769fdbb7108ca6c37ee7c /doc
parenta9fd81899df8a412f20784b3575b9707c530d1d1 (diff)
Don't require ';' after option documentation block
Diffstat (limited to 'doc')
-rw-r--r--doc/language.txt6
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/language.txt b/doc/language.txt
index cef7da8..ce64abf 100644
--- a/doc/language.txt
+++ b/doc/language.txt
@@ -68,7 +68,7 @@ class-decl
option-def
option-def:
- type-spec option-name-seq initializer(opt) option-doc(opt) ";"
+ type-spec option-name-seq initializer(opt) option-def-trailer
type-spec:
fundamental-type-spec
@@ -95,6 +95,10 @@ initializer-expr:
qualified-name
call-expr
+option-def-trailer:
+ ";"
+ option-doc
+
option-doc:
"{" doc-string-seq "}"